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

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

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〉

Partager

Métriques

Consultations de la notice

77