Verification of Protocol Specifications using the CESAR System. Fernandez, J.C, Richier, J., & Voiron, J. In Proceedings of the 5th IFIP International Workshop on Protocol Specification, Testing and Verification (Moissac, France), pages 71--90, June, 1985. nh. 00000bibtex @inproceedings{ fernandez_verification_1985,
title = {Verification of {Protocol} {Specifications} using the {CESAR} {System}},
booktitle = {Proceedings of the 5th {IFIP} {International} {Workshop} on {Protocol} {Specification}, {Testing} and {Verification} ({Moissac}, {France})},
publisher = {nh},
author = {Fernandez, Jean-Claude and Richier, Jean-Luc and Voiron, Jacques},
editor = {Diaz, Michel},
month = {June},
year = {1985},
note = {00000},
pages = {71--90}
}
Downloads: 0
{"_id":"jTuAzy3iJPuEvXSH6","bibbaseid":"fernandez-richier-voiron-verificationofprotocolspecificationsusingthecesarsystem-1985","downloads":0,"creationDate":"2015-04-22T00:15:35.852Z","title":"Verification of Protocol Specifications using the CESAR System","author_short":["Fernandez, J.C","Richier, J.","Voiron, J."],"year":1985,"bibtype":"inproceedings","biburl":"http://bibbase.org/zotero/ealprr","bibdata":{"author":["Fernandez, Jean-Claude","Richier, Jean-Luc","Voiron, Jacques"],"author_short":["Fernandez, J.C","Richier, J.","Voiron, J."],"bibtex":"@inproceedings{ fernandez_verification_1985,\n title = {Verification of {Protocol} {Specifications} using the {CESAR} {System}},\n booktitle = {Proceedings of the 5th {IFIP} {International} {Workshop} on {Protocol} {Specification}, {Testing} and {Verification} ({Moissac}, {France})},\n publisher = {nh},\n author = {Fernandez, Jean-Claude and Richier, Jean-Luc and Voiron, Jacques},\n editor = {Diaz, Michel},\n month = {June},\n year = {1985},\n note = {00000},\n pages = {71--90}\n}","bibtype":"inproceedings","booktitle":"Proceedings of the 5th IFIP International Workshop on Protocol Specification, Testing and Verification (Moissac, France)","editor":["Diaz, Michel"],"editor_short":["Diaz, M."],"id":"fernandez_verification_1985","key":"fernandez_verification_1985","month":"June","note":"00000","pages":"71--90","publisher":"nh","title":"Verification of Protocol Specifications using the CESAR System","type":"inproceedings","year":"1985","bibbaseid":"fernandez-richier-voiron-verificationofprotocolspecificationsusingthecesarsystem-1985","role":"author","urls":{},"downloads":0},"search_terms":["verification","protocol","specifications","using","cesar","system","fernandez","richier","voiron"],"keywords":[],"authorIDs":[],"dataSources":["fcy64Zdm28gydMmuE"]}