James, Phillip, United Kingdom
-
Volume 35: Automated Verification of Critical Systems 2010 - Articles
Automatically Verifying Railway Interlockings using SAT-based Model Checking
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.
Electronic Communications of the EASST