Modelling large railway interlockings and model checking small ones
Contribuinte(s) |
M. Oudshoorn |
---|---|
Data(s) |
01/01/2003
|
Identificador | |
Publicador |
Australian Computer Society |
Palavras-Chave | #E1 #280000 Information, Computing and Communication Sciences #780000 - Non-Oriented Research |
Tipo |
Conference Paper |