search author

DBLP BibTeX Record 'conf/pstv/SchwabeC84'

@inproceedings{DBLP:conf/pstv/SchwabeC84,
  author    = {Daniel Schwabe and
               Ana R. Cavalli},
  title     = {Temporal Logic Specification of a Virtual Ring LAN Access
               Protocol},
  booktitle = {PSTV},
  year      = {1984},
  pages     = {79-91},
  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}
}