Special Issue on Formal Modeling and Verification of Critical Systems

@article{pub4044,
    author = {

Autexier, Serge
 and 

Mantel, Heiko
 and 

Merz, Stephan
 and 

Nipkow, Tobias
},
    title = {Special Issue on Formal Modeling and Verification of Critical Systems},
    series = {Journal of Automated Reasoning},
    year = {2008},
    month = {12},
    volume = {41},
    number = {3-4},
    journal = {Journal of Automated Reasoning (JAR)},
    publisher = {Springer Netherlands},
    note = {Keine Konferenz, Guest Editors eines Seriensammelbandes}
}