%0 Conference Paper %1 conf/ki/CheikhrouhouNSKR08 %A Cheikhrouhou, Lassaad %A Nonnengart, Andreas %A Stephan, Werner %A Koob, Frank %A Rock, Georg %B KI %D 2008 %E Dengel, Andreas %E Berns, Karsten %E Breuel, Thomas M. %E Bomarius, Frank %E Roth-Berghofer, Thomas %I Springer %K dblp %P 30-37 %T Automating Interactive Protocol Verification. %U http://dblp.uni-trier.de/db/conf/ki/ki2008.html#CheikhrouhouNSKR08 %V 5243 %@ 978-3-540-85844-7

@inproceedings{conf/ki/CheikhrouhouNSKR08, added-at = {2017-05-25T00:00:00.000+0200}, author = {Cheikhrouhou, Lassaad and Nonnengart, Andreas and Stephan, Werner and Koob, Frank and Rock, Georg}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b5776f60b06e5b63787b8fef40a4e4dd/dblp}, booktitle = {KI}, crossref = {conf/ki/2008}, editor = {Dengel, Andreas and Berns, Karsten and Breuel, Thomas M. and Bomarius, Frank and Roth-Berghofer, Thomas}, ee = {https://doi.org/10.1007/978-3-540-85845-4_4}, interhash = {e381af5fa547ddcf538b8a4d360998ac}, intrahash = {b5776f60b06e5b63787b8fef40a4e4dd}, isbn = {978-3-540-85844-7}, keywords = {dblp}, pages = {30-37}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T13:43:58.000+0200}, title = {Automating Interactive Protocol Verification.}, url = {http://dblp.uni-trier.de/db/conf/ki/ki2008.html#CheikhrouhouNSKR08}, volume = 5243, year = 2008 }