Integrating Automated and Interactive Protocol Verification

Achim D. Brucker

Schlüsselwörter:
Kategorien:
Dokumente:

QR Code for talk:brucker.ea:integrating:2009-b.Bitte zitieren sie diesen Artikel wie folgt:
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},
}