TU Darmstadt / ULB / TUbiblio

Special Issue on Formal Modeling and Verification of Critical Systems

Autexier, Serge and Mantel, Heiko and Merz, Stephan and Nipkow, Tobias (eds.) (2008):
Special Issue on Formal Modeling and Verification of Critical Systems.
Journal of Automated Reasoning, Vol. 41, Nos. 3-4, Springer, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 2008
Editors: Autexier, Serge and Mantel, Heiko and Merz, Stephan and Nipkow, Tobias
Title: Special Issue on Formal Modeling and Verification of Critical Systems
Language: English
Publisher: Journal of Automated Reasoning, Vol. 41, Nos. 3-4, Springer
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Modeling and Analysis of Information Systems (MAIS)
Date Deposited: 09 Apr 2010 14:11
Additional Information:

autexier.ea:special:2008a

Export:

Optionen (nur für Redakteure)

View Item View Item