Publikation

Preface. Special Issue on Formal Modeling and Verification of Critical Systems

Serge Autexier, Heiko Mantel, S. Merz, T. Nipkow

In: Journal of Automated Reasoning (JAR) 41 3-4 Seiten 191-192 Springer Netherlands 11/2008.

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence