登入選單

返回Google圖書搜尋

Simulating and Analyzing Railway Interlockings in ExSpect

Antonius André BastenTwan BastenRoland Nicolaas BolMarc Voorhoeve

出版	Eindhoven University of Technology, Department of Mathematics and Computing Science, 1994
URL	http://books.google.com.hk/books?id=lqo2HQAACAAJ&hl=&source=gbs_api