Books
Year : 2008
Stephan Merz : Connect in order to contact the contributor
https://inria.hal.science/inria-00367512
Submitted on : Wednesday, March 11, 2009-3:11:20 PM
Last modification on : Monday, November 13, 2023-10:56:04 AM
Dates and versions
Identifiers
- HAL Id : inria-00367512 , version 1
Cite
Serge Autexier, Heiko Mantel, Stephan Merz, Tobias Nipkow (Dir.). Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems. Tobias Nipkow. Springer, 41, pp.209, 2008, Journal of Automated Reasoning. ⟨inria-00367512⟩
Collections
85
View
0
Download