4. FORTE 1991:
Sydney,
NSW,
Australia
Ken R. Parker, Gordon A. Rose (Eds.):
Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991.
IFIP Transactions C-2 North-Holland 1992, ISBN 0-444-89402-0 BibTeX
@proceedings{DBLP:conf/forte/1991,
editor = {Ken R. Parker and
Gordon A. Rose},
title = {Formal Description Techniques, IV, Proceedings of the IFIP TC6/WG6.1
Fourth International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols, FORTE '91,
Sydney, Australia, 19-22 November 1991},
booktitle = {FORTE},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {C-2},
year = {1992},
isbn = {0-444-89402-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Applications I
Invited Paper
Performance and Reliability
Industry Reports
Applications II
Invited Paper
Change Management
Timed Extensions
Transformations
Tools and Environment
Validation
Language Issues
Tools Reports
Invited Paper
Verification
Process Foundations
Copyright © Sat May 16 23:12:34 2009
by Michael Ley (ley@uni-trier.de)
