{"_id":"bCxJpSokDfcrKpXi3","bibbaseid":"schneider-bluhm-renner-heinkel-knblein-zavala-formalverificationofabstractsystemandprotocolspecifications-2006","downloads":0,"creationDate":"2016-02-23T05:01:35.251Z","title":"Formal Verification of Abstract System and Protocol Specifications.","author_short":["Schneider, A.","Bluhm, T.","Renner, T.","Heinkel, U.","Knäblein, J.","Zavala, R."],"year":2006,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/tobias friedrich?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2016-01-28T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Schneider"],"firstnames":["Axel"],"suffixes":[]},{"propositions":[],"lastnames":["Bluhm"],"firstnames":["Thomas"],"suffixes":[]},{"propositions":[],"lastnames":["Renner"],"firstnames":["Tobias"],"suffixes":[]},{"propositions":[],"lastnames":["Heinkel"],"firstnames":["Ulrich"],"suffixes":[]},{"propositions":[],"lastnames":["Knäblein"],"firstnames":["Joachim"],"suffixes":[]},{"propositions":[],"lastnames":["Zavala"],"firstnames":["Reynaldo"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/271ec9d4d784fb43725abf6aa68459749/dblp","booktitle":"SEW","crossref":"conf/sew/2006","ee":"http://doi.ieeecomputersociety.org/10.1109/SEW.2006.19","interhash":"6adbb0d4ee01669f3e44e8021e2a7180","intrahash":"71ec9d4d784fb43725abf6aa68459749","isbn":"0-7695-2624-1","keywords":"dblp","pages":"207-211","publisher":"IEEE Computer Society","timestamp":"2016-01-29T11:37:19.000+0100","title":"Formal Verification of Abstract System and Protocol Specifications.","url":"http://dblp.uni-trier.de/db/conf/sew/sew2006.html#SchneiderBRHKZ06","year":"2006","bibtex":"@inproceedings{conf/sew/SchneiderBRHKZ06,\n added-at = {2016-01-28T00:00:00.000+0100},\n author = {Schneider, Axel and Bluhm, Thomas and Renner, Tobias and Heinkel, Ulrich and Knäblein, Joachim and Zavala, Reynaldo},\n biburl = {http://www.bibsonomy.org/bibtex/271ec9d4d784fb43725abf6aa68459749/dblp},\n booktitle = {SEW},\n crossref = {conf/sew/2006},\n ee = {http://doi.ieeecomputersociety.org/10.1109/SEW.2006.19},\n interhash = {6adbb0d4ee01669f3e44e8021e2a7180},\n intrahash = {71ec9d4d784fb43725abf6aa68459749},\n isbn = {0-7695-2624-1},\n keywords = {dblp},\n pages = {207-211},\n publisher = {IEEE Computer Society},\n timestamp = {2016-01-29T11:37:19.000+0100},\n title = {Formal Verification of Abstract System and Protocol Specifications.},\n url = {http://dblp.uni-trier.de/db/conf/sew/sew2006.html#SchneiderBRHKZ06},\n year = 2006\n}\n\n","author_short":["Schneider, A.","Bluhm, T.","Renner, T.","Heinkel, U.","Knäblein, J.","Zavala, R."],"key":"conf/sew/SchneiderBRHKZ06","id":"conf/sew/SchneiderBRHKZ06","bibbaseid":"schneider-bluhm-renner-heinkel-knblein-zavala-formalverificationofabstractsystemandprotocolspecifications-2006","role":"author","urls":{"Link":"http://doi.ieeecomputersociety.org/10.1109/SEW.2006.19","Paper":"http://dblp.uni-trier.de/db/conf/sew/sew2006.html#SchneiderBRHKZ06"},"keyword":["dblp"],"downloads":0},"search_terms":["formal","verification","abstract","system","protocol","specifications","schneider","bluhm","renner","heinkel","knäblein","zavala"],"keywords":["dblp"],"authorIDs":[],"dataSources":["oHoup8Tse8r9DcDBh"]}