Special Issue on Formal Modeling and Verification of Critical Systems
@proceedings{AMMN-08-b, editor = {Serge Autexier and Heiko Mantel and Stephan Merz and Tobias Nipkow}, title = {Special Issue on Formal Modeling and Verification of Critical Systems}, journal = {Journal of Automated Reasoning}, volume = {forthcoming}, type = {Special Issue}, publisher = {Springer}, month = {december}, year = {2008}, }