Journal of Automated Reasoning Special Issue: Formal Modeling and Verification of Critical Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2008

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

Serge Autexier
  • Function : Scientific advisor
Stephan Merz
Tobias Nipkow
  • Function : Scientific advisor
No file

Dates and versions

inria-00367512 , version 1 (11-03-2009)

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⟩
85 View
0 Download

Share

Gmail Facebook X LinkedIn More