Skip to Main content Skip to Navigation
Directions of work or proceedings

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
Document type :
Directions of work or proceedings
Complete list of metadata
https://hal.inria.fr/inria-00367512
Contributor : Stephan Merz <>
Submitted on : Wednesday, March 11, 2009 - 3:11:20 PM
Last modification on : Friday, February 26, 2021 - 3:28:05 PM

Identifiers

  • HAL Id : inria-00367512, version 1

Collections

CNRS | 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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

142

 

Contact                    Legal Notice                    Personal Data