Publikation
Victor Ferman, Dieter Hutter, Raul Monroy
In: Grigori Sidorov, Ulises Cortés (Hrsg.). Computación y Sistemas 21 1 Seiten 101-114 Instituto Politécnico Nacional, Mexico Mexico City 4/2017.
@article{pub9069, author = { Ferman, Victor and Hutter, Dieter and Monroy, Raul }, editor = { Sidorov, Grigori and Cortés, Ulises }, title = {WebMC for Browser Based Protocol Verification}, year = {2017}, month = {4}, volume = {21}, number = {1}, pages = {101--114}, journal = {Computación y Sistemas}, publisher = {Instituto Politécnico Nacional, Mexico} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022