2. FORTE 1989:
Vancouver,
BC,
Canada
Son T. Vuong (Ed.):
Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, FORTE'89, Vancouver, BC, Canada, 5-8 December, 1989.
North-Holland 1990, ISBN 0-444-88544-7 BibTeX
@proceedings{DBLP:conf/forte/1989,
editor = {Son T. Vuong},
title = {Formal Description Techniques, II, Proceedings of the IFIP TC/WG6.1
Second International Conference on Formal Description Techniques
for Distributed Systems and Communication Protocols, FORTE'89,
Vancouver, BC, Canada, 5-8 December, 1989},
booktitle = {FORTE},
publisher = {North-Holland},
year = {1990},
isbn = {0-444-88544-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Mini-Papers on Software Tools
Tools for Protocol Implementation and Testing
Tools for Protocol Specification and Analysis
Full Papers
Architectural Concepts and LOTOS
Invited Presentation:
LOTOS Implementation
LOTOS Extensions
Specification for Verification
Invited Presentation:
Other FDTs
FDT Applied:
Protocol Testing
FDT Implementation
Invited Presentation
FDT Experience
FDT Translation
Copyright © Sat May 16 23:12:34 2009
by Michael Ley (ley@uni-trier.de)
