James, P., Isobe, Y., & Roggenbach, M. (2009). Verifying train control software - An exercise in SAT-based model checking. 11th JSSST Workshop on Programming and Programming Languages (PPL2009), p. 1.
Chicago Style CitationJames, Phillip, Yohinao Isobe, and Markus Roggenbach. "Verifying Train Control Software - An Exercise in SAT-based Model Checking." 11th JSSST Workshop On Programming and Programming Languages (PPL2009) 2009: 1.
MLA CitationJames, Phillip, Yohinao Isobe, and Markus Roggenbach. "Verifying Train Control Software - An Exercise in SAT-based Model Checking." 11th JSSST Workshop On Programming and Programming Languages (PPL2009) 2009: 1.
Warning: These citations may not always be 100% accurate.