Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
M.P. Lindegaard, P. Viuf and A.E. Haxthausen. Modelling Railway Interlocking
Systems. In E. Schnieder and U. Becker (eds.): Proceedings of the 9th
IFAC Symposium on Control in Transportation Systems 2000, June 13-15, 2000,
Braunschweig, Germany, pp. 211-217.
Research Interests
Tool support for formal methods and specification languages, institutions, automatic theorem proving, the RAISE Specification Language.
NOTE: If you are mailing a complaint, please write 'complaint' in the subject field so that your mail can be filed appropriately. Thank you for your cooperation.