BibTeX
@incollection{DBLP:books/sp/trends86/DiazCP86,
author = {Michel Diaz and
Jean-Pierre Courtiat and
Aloysio Pedroza},
title = {Design, Specification and Validation of Hierarchies of Protocols
in Distributed Systems},
booktitle = {Current Trends in Concurrency},
year = {1986},
pages = {208-265},
crossref = {DBLP:books/sp/Trends1986},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@book{DBLP:books/sp/Trends1986,
editor = {J. W. de Bakker and
Willem P. de Roever and
Grzegorz Rozenberg},
title = {Current Trends in Concurrency, Overviews and Tutorials},
booktitle = {Current Trends in Concurrency},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {224},
year = {1986},
isbn = {3-540-16488-X},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2004-11-04 by Michael Ley (ley@uni-trier.de)