Integrating Automated and Interactive Protocol Verification

by Achim D. Brucker

Keywords:
Categories:
Documents:

QR Code for talk:brucker.ea:integrating:2009-b.Please cite this article as follows:
Achim D. Brucker. Integrating Automated and Interactive Protocol Verification. Computer Science Colloquium at the German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany, 09. dec. 2009.
(BibTeX) (Share article on LinkedIn. Share article on CiteULike. )

BibTeX
@Talk{ talk:brucker.ea:integrating:2009-b,
address = {Saarbr{\"u}cken, Germany},
author = {Achim D. Brucker},
day = {09},
event = {Computer Science Colloquium at the German Research Center for Artificial Intelligence (DFKI)},
isodate = {2009-12-09},
language = {USenglish},
lecturer = {Achim D. Brucker},
month = {dec},
title = {Integrating Automated and Interactive Protocol Verification},
url = {https://www.brucker.ch/bibliography/abstract/talk-brucker.ea-integrating-2009-b},
year = {2009},
}