Protocol analysis using numerical Petri nets. Wheeler, G. R., Wilbur-Ham, M. C., Billington, J., & Gilmour, J. A. In Applications and Theory in Petri Nets, volume 222, of Lecture Notes in Computer Science, pages 435-452, 1985. Springer.
Protocol analysis using numerical Petri nets. [link]Link  Protocol analysis using numerical Petri nets. [link]Paper  bibtex   
@inproceedings{conf/apn/WheelerWBG85,
  added-at = {2009-09-19T00:00:00.000+0200},
  author = {Wheeler, Geoffrey R. and Wilbur-Ham, Michael C. and Billington, Jonathan and Gilmour, J. A.},
  biburl = {https://www.bibsonomy.org/bibtex/2eec17fc84f8e2c140dd9e4d37376a1eb/dblp},
  booktitle = {Applications and Theory in Petri Nets},
  crossref = {conf/apn/1985},
  date = {2009-09-19},
  description = {dblp},
  editor = {Rozenberg, Grzegorz},
  ee = {http://dx.doi.org/10.1007/BFb0016225},
  interhash = {5f8da88e39a94caf788a27986cc1233f},
  intrahash = {eec17fc84f8e2c140dd9e4d37376a1eb},
  isbn = {3-540-16480-4},
  keywords = {dblp},
  pages = {435-452},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2009-09-22T11:42:01.000+0200},
  title = {Protocol analysis using numerical Petri nets.},
  url = {http://dblp.uni-trier.de/db/conf/apn/apn1985.html#WheelerWBG85},
  volume = 222,
  year = 1985
}

Downloads: 0