@inproceedings{DBLP:conf/forte/Templemore-FinlaysonKRB98,
author = {Justin Templemore-Finlayson and
Pieter S. Kritzinger and
Jean-Luc Raffy and
Stanislaw Budkowski},
title = {A graphical representation and prototype editor for the
Formal Description Technique Estelle},
booktitle = {FORTE},
year = {1998},
pages = {37-55},
crossref = {DBLP:conf/forte/1998},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/forte/1998,
editor = {Stanislaw Budkowski and
Ana R. Cavalli and
Elie Najm},
title = {Formal Description Techniques and Protocol Specification,
Testing and Verification, FORTE XI / PSTV XVIII'98, IFIP
TC6 WG6.1 Joint International Conference on Formal Description
Techniques for Distributed Systems and Communication Protocols
(FORTE XI) and Protocol Specification, Testing and Verification
(PSTV XVIII), 3-6 November, 1998, Paris, France},
booktitle = {FORTE},
publisher = {Kluwer},
series = {IFIP Conference Proceedings},
volume = {135},
year = {1998},
isbn = {0-412-84760-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
