DBLP BibTeX Record 'conf/ifip/Walter83'

@inproceedings{DBLP:conf/ifip/Walter83,
  author    = {Bernd Walter},
  title     = {Timed Petri-Nets for Modelling and Analyzing Protocols with
               Real-Time Characteristics},
  booktitle = {Protocol Specification, Testing, and Verification},
  year      = {1983},
  pages     = {149-159},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}