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. 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
{"_id":"bMmxqZvt8aK3qGEEA","bibbaseid":"wheeler-wilburham-billington-gilmour-protocolanalysisusingnumericalpetrinets-1985","downloads":0,"creationDate":"2018-07-10T13:30:17.016Z","title":"Protocol analysis using numerical Petri nets.","author_short":["Wheeler, G. R.","Wilbur-Ham, M. C.","Billington, J.","Gilmour, J. A."],"year":1985,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/wheeler?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2009-09-19T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Wheeler"],"firstnames":["Geoffrey","R."],"suffixes":[]},{"propositions":[],"lastnames":["Wilbur-Ham"],"firstnames":["Michael","C."],"suffixes":[]},{"propositions":[],"lastnames":["Billington"],"firstnames":["Jonathan"],"suffixes":[]},{"propositions":[],"lastnames":["Gilmour"],"firstnames":["J.","A."],"suffixes":[]}],"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":[{"propositions":[],"lastnames":["Rozenberg"],"firstnames":["Grzegorz"],"suffixes":[]}],"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","bibtex":"@inproceedings{conf/apn/WheelerWBG85,\n added-at = {2009-09-19T00:00:00.000+0200},\n author = {Wheeler, Geoffrey R. and Wilbur-Ham, Michael C. and Billington, Jonathan and Gilmour, J. A.},\n biburl = {https://www.bibsonomy.org/bibtex/2eec17fc84f8e2c140dd9e4d37376a1eb/dblp},\n booktitle = {Applications and Theory in Petri Nets},\n crossref = {conf/apn/1985},\n date = {2009-09-19},\n description = {dblp},\n editor = {Rozenberg, Grzegorz},\n ee = {http://dx.doi.org/10.1007/BFb0016225},\n interhash = {5f8da88e39a94caf788a27986cc1233f},\n intrahash = {eec17fc84f8e2c140dd9e4d37376a1eb},\n isbn = {3-540-16480-4},\n keywords = {dblp},\n pages = {435-452},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2009-09-22T11:42:01.000+0200},\n title = {Protocol analysis using numerical Petri nets.},\n url = {http://dblp.uni-trier.de/db/conf/apn/apn1985.html#WheelerWBG85},\n volume = 222,\n year = 1985\n}\n\n","author_short":["Wheeler, G. R.","Wilbur-Ham, M. C.","Billington, J.","Gilmour, J. A."],"editor_short":["Rozenberg, G."],"key":"conf/apn/WheelerWBG85","id":"conf/apn/WheelerWBG85","bibbaseid":"wheeler-wilburham-billington-gilmour-protocolanalysisusingnumericalpetrinets-1985","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/BFb0016225","Paper":"http://dblp.uni-trier.de/db/conf/apn/apn1985.html#WheelerWBG85"},"keyword":["dblp"],"downloads":0},"search_terms":["protocol","analysis","using","numerical","petri","nets","wheeler","wilbur-ham","billington","gilmour"],"keywords":["dblp"],"authorIDs":[],"dataSources":["9ByL5wSiKDQZu3sWd"]}