Lisagor, Oleg, The University of York, United Kingdom
-
Volume 46: Automated Verification of Critical Systems 2011 - Articles
Symbolic Model Checking and Safety Assessment of Altarica models
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.