@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}
}