Achim D. Brucker
Schlüsselwörter:
Kategorien:
Dokumente:
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) ( )
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}, |