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

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

作者

卡里姆·坎索

这位作者尚未确定身份。在谷歌中查找“Karim Kanso”

法伦·莫勒

这位作者尚未确定身份。在谷歌中查找“Faron Moller”

安东·塞泽尔

这位作者尚未确定身份。在谷歌中查找“Anton Setzer”