DocumentCode
2416929
Title
A Simple Graph Theory And Its Application In Railway Signaling
Author
Wong, Wai
Author_Institution
University of Warwick
fYear
1991
fDate
28-30 Aug. 1991
Firstpage
395
Lastpage
409
Keywords
Control systems; Formal specifications; Graph theory; Intelligent networks; Logic; Mathematical model; Mathematics; Rail transportation; Railway engineering; Safety;
fLanguage
English
Publisher
ieee
Conference_Titel
HOL Theorem Proving System and Its Applications, 1991., International Workshop on the
Conference_Location
Davis, CA, USA
Print_ISBN
0-8186-2460-4
Type
conf
DOI
10.1109/HOL.1991.596304
Filename
596304
Link To Document