James, P. (2011). Automatically Verifying Railway Interlockings using SAT-based Model Checking. AVoCS'10 -- Proceedings of the Tenth International Workshop on Automated Verification of Critical Systems.
Chicago Style CitationJames, Phillip. "Automatically Verifying Railway Interlockings Using SAT-based Model Checking." AVoCS'10 -- Proceedings of the Tenth International Workshop On Automated Verification of Critical Systems 2011.
MLA CitationJames, Phillip. "Automatically Verifying Railway Interlockings Using SAT-based Model Checking." AVoCS'10 -- Proceedings of the Tenth International Workshop On Automated Verification of Critical Systems 2011.
Warning: These citations may not always be 100% accurate.