Automating Interactive Protocol Verification

@inproceedings{pub8629,
    author = {

Cheikhrouhou, Lassaad
 and 

Nonnengart, Andreas
 and 

Stephan, Werner
 and 

Koob, Frank
 and 

Rock, Georg
},
    editor = {

Dengel, Andreas
 and 

Berns, Karsten
 and 

Breuel, Thomas
 and 

Bomarius, Frank
 and 

Roth-Berghofer, Thomas
},
    title = {Automating Interactive Protocol Verification},
    booktitle = {KI 2008: Advances in Artificial Intelligence. German Conference on Artificial Intelligence (KI-2008), September 23-26, Kaiserslautern, Germany},
    series = {Lecture Notes in Artificial Intelligence (LNAI)},
    year = {2008},
    volume = {5243},
    publisher = {Springer},
    isbn = {978-3-540-85844-7}
}