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 
@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
- Ed Brinksma:
What is the Method in Formal Methods?
33-50
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
Last update Tue Feb 14 03:56:17 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
