@inproceedings{DBLP:conf/forte/LuceroQ97,
author = {Giovanny F. Lucero and
Juan Quemada},
title = {Specifying the ODP Trader: An Introduction to E-LOTOS},
booktitle = {FORTE},
year = {1997},
pages = {127-142},
crossref = {DBLP:conf/forte/1997},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/forte/1997,
editor = {Atsushi Togashi and
Tadanori Mizuno and
Norio Shiratori and
Teruo Higashino},
title = {Formal Description Techniques and Protocol Specification,
Testing and Verification, FORTE X / PSTV XVII'97, IFIP TC6
WG6.1 Joint International Conference on Formal Description
Techniques for Distributed Systems and Communication Protocols
(FORTE X) and Protocol Specification, Testing and Verification
(PSTV XVII), 18-21 November, 1997, Osaka, Japan},
booktitle = {FORTE},
publisher = {Chapman {\&} Hall},
series = {IFIP Conference Proceedings},
volume = {107},
year = {1998},
isbn = {0-412-82060-9},
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
