铁路联锁系统中信号原理的自动验证

卡里姆·坎索,法伦·莫勒,安东·塞泽尔.铁路联锁系统中信号原理的自动验证.理论计算机科学电子笔记, 250(2):19-31,2009 [美国国防部]

摘要

缺少摘要。