@inproceedings{DBLP:conf/forte/Souissi93,
author = {Younes Souissi},
title = {Towards a Modular Specification and Verification of Protocols
within a Layered Architecture},
booktitle = {FORTE},
year = {1993},
pages = {35-50},
crossref = {DBLP:conf/forte/1993},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/forte/1993,
editor = {Richard L. Tenney and
Paul D. Amer and
M. {\"U}mit Uyar},
title = {Formal Description Techniques, VI, Proceedings of the IFIP
TC6/WG6.1 Sixth International Conference on Formal Description
Techniques - FORTE '93, Boston, MA, USA, 26-29 October 1993},
booktitle = {FORTE},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {C-22},
year = {1994},
isbn = {0-444-81773-5},
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
