CarchioloMPP84'

BibTeX

@inproceedings{DBLP:conf/pstv/CarchioloMPP84,
  author    = {Vincenza Carchiolo and
               Gesualdo Le Moli and
               Sergio Palazzo and
               Giuseppe Pappalardo},
  title     = {Modelling and Specifying a Presentation Protocol by Temporal
               Ordering},
  booktitle = {PSTV},
  year      = {1984},
  pages     = {423-440},
  crossref  = {DBLP:conf/pstv/1984},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/pstv/1984,
  editor    = {Yechiam Yemini and
               Robert E. Strom and
               Shaula Yemini},
  title     = {Protocol Specification, Testing and Verification IV, Proceedings
               of the IFIP WG6.1 Fourth International Workshop on Protocol
               Specification, Testing and Verification, Skytop Lodge, PA,
               USA, June 11-14, 1984},
  booktitle = {PSTV},
  publisher = {North-Holland},
  year      = {1985},
  isbn      = {0-444-87676-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}