BibTeX
@inproceedings{DBLP:conf/forte/RomanoRCQ03,
author = {Paolo Romano and
Milton Romero and
Bruno Ciciani and
Francesco Quaglia},
title = {Validiation of the Sessionless Mode of the HTTPR Protocol},
booktitle = {FORTE},
year = {2003},
pages = {62-78},
ee = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2767{\&}spage=62},
crossref = {DBLP:conf/forte/2003},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/forte/2003,
editor = {Hartmut K{\"o}nig and
Monika Heiner and
Adam Wolisz},
title = {Formal Techniques for Networked and Distributed Systems
- FORTE 2003, 23rd IFIP WG 6.1 International Conference,
Berlin, Germany, September 29 - October 2, 2003, Proceedings},
booktitle = {FORTE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2767},
year = {2003},
isbn = {3-540-20175-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2005-06-20 by Michael Ley (ley@uni-trier.de)