Model Checking Railway Interlocking Systems

Winter, Kirsten (2002). Model Checking Railway Interlocking Systems. In: Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002). Australian Computer Science Conference (ACSC 2002), Melbourne, Australia, (303-310). 30 January - 3 February 2002.


Author Winter, Kirsten
Title of paper Model Checking Railway Interlocking Systems
Conference name Australian Computer Science Conference (ACSC 2002)
Conference location Melbourne, Australia
Conference dates 30 January - 3 February 2002
Proceedings title Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002)
Publisher Australian Computer Science Communications
Publication Year 2002
Sub-type Fully published paper
ISBN 0909925828
9780909925826
Volume 24
Issue 1
Start page 303
End page 310
Total pages 8
Q-Index Code E1
Q-Index Status Provisional Code
Institutional Status UQ

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Thu, 10 Feb 2011, 12:50:56 EST by Dr Kirsten Winter on behalf of School of Information Technol and Elec Engineering