Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems

Serge Autexier 1 Heiko Mantel 2 Stephan Merz 3 Tobias Nipkow 4
1 DFKI - DFKI Bremen
2 TU Darmstadt - Technische Universität Darmstadt
3 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
4 LRR-TUM - Institut für Informatik
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Tobias Nipkow. 41, Springer, pp.209, 2008, Journal of Automated Reasoning
Liste complète des métadonnées
https://hal.inria.fr/inria-00367512
Contributeur : Stephan Merz <>
Soumis le : mercredi 11 mars 2009 - 15:11:20
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52

Identifiants

  • HAL Id : inria-00367512, version 1

Collections

INRIA | LORIA | UNIV-LORRAINE

Citation

Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow. Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems. Tobias Nipkow. 41, Springer, pp.209, 2008, Journal of Automated Reasoning. 〈inria-00367512〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

113

Contact


archive-ouverte@inria.fr