@inproceedings{ groz_unrestricted_1986,
  title = {Unrestricted {Verification} of {Protocol} {Properties} on a {Simulation}: an {Observer} {Approach}},
  shorttitle = {Unrestricted {Verification} of {Protocol} {Properties} on a {Simulation}},
  booktitle = {Proceedings of the 6th {IFIP} {International} {Workshop} on {Protocol} {Specification}, {Testing} and {Verification} ({Montreal}, {Canada})},
  publisher = {nh},
  author = {Groz, Roland},
  month = {June},
  year = {1986},
  note = {00036}
}

{"_id":"9maxKizAL8JPpJPuB","bibbaseid":"groz-unrestrictedverificationofprotocolpropertiesonasimulationanobserverapproach-1986","downloads":0,"creationDate":"2015-04-22T00:15:36.077Z","title":"Unrestricted Verification of Protocol Properties on a Simulation: an Observer Approach","author_short":["Groz, R."],"year":1986,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"author":["Groz, Roland"],"author_short":["Groz, R."],"bibtex":"@inproceedings{ groz_unrestricted_1986,\n title = {Unrestricted {Verification} of {Protocol} {Properties} on a {Simulation}: an {Observer} {Approach}},\n shorttitle = {Unrestricted {Verification} of {Protocol} {Properties} on a {Simulation}},\n booktitle = {Proceedings of the 6th {IFIP} {International} {Workshop} on {Protocol} {Specification}, {Testing} and {Verification} ({Montreal}, {Canada})},\n publisher = {nh},\n author = {Groz, Roland},\n month = {June},\n year = {1986},\n note = {00036}\n}","bibtype":"inproceedings","booktitle":"Proceedings of the 6th IFIP International Workshop on Protocol Specification, Testing and Verification (Montreal, Canada)","id":"groz_unrestricted_1986","key":"groz_unrestricted_1986","month":"June","note":"00036","publisher":"nh","shorttitle":"Unrestricted Verification of Protocol Properties on a Simulation","title":"Unrestricted Verification of Protocol Properties on a Simulation: an Observer Approach","type":"inproceedings","year":"1986","bibbaseid":"groz-unrestrictedverificationofprotocolpropertiesonasimulationanobserverapproach-1986","role":"author","urls":{},"downloads":0},"search_terms":["unrestricted","verification","protocol","properties","simulation","observer","approach","groz"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}