Publikation
Serge Autexier, Heiko Mantel, S. Merz, T. Nipkow
In: Journal of Automated Reasoning (JAR) 41 3-4 Seiten 191-192 Springer Netherlands 11/2008.
@article{pub4100, author = { Autexier, Serge and Mantel, Heiko and Merz, S. and Nipkow, T. }, title = {Preface. Special Issue on Formal Modeling and Verification of Critical Systems}, year = {2008}, month = {11}, volume = {41}, number = {3-4}, pages = {191--192}, journal = {Journal of Automated Reasoning (JAR)}, publisher = {Springer Netherlands} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2022