Roggenbach, M., & James, P. (2010). Automatically Verifying Railway Interlockings using SAT-based Model Checking. Electronic Communications of the EASST, 35, .
Chicago Style CitationRoggenbach, Markus, and P. James. "Automatically Verifying Railway Interlockings Using SAT-based Model Checking." Electronic Communications of the EASST 35 (2010).
MLA CitationRoggenbach, Markus, and P. James. "Automatically Verifying Railway Interlockings Using SAT-based Model Checking." Electronic Communications of the EASST 35 (2010).
Warning: These citations may not always be 100% accurate.