Phillip James, Markus Roggenbach. Automatically Verifying Railway Interlockings using SAT-based Model Checking. ECEASST, 35, 2010. [doi]
@article{JamesR10, title = {Automatically Verifying Railway Interlockings using SAT-based Model Checking}, author = {Phillip James and Markus Roggenbach}, year = {2010}, url = {http://journal.ub.tu-berlin.de/eceasst/article/view/547}, researchr = {https://researchr.org/publication/JamesR10}, cites = {0}, citedby = {0}, journal = {ECEASST}, volume = {35}, }