Preface. Special Issue on Formal Modeling and Verification of Critical Systems

@article{pub4100,
    author = {

Autexier, Serge
 and 

Mantel, Heiko
 and 

Merz, S.
 and 

Nipkow, T.
},
    title = {Preface. Special Issue on Formal Modeling and Verification of Critical Systems},
    year = {2008},
    month = {11},
    volume = {41},
    number = {3-4},
    pages = {191--192},
    journal = {Journal of Automated Reasoning (JAR)},
    publisher = {Springer Netherlands}
}