Modelling large railway interlockings and model checking small ones


Autoria(s): Winter, K.; Robinson, N. J.
Contribuinte(s)

M. Oudshoorn

Data(s)

01/01/2003

Identificador

http://espace.library.uq.edu.au/view/UQ:98603

Publicador

Australian Computer Society

Palavras-Chave #E1 #280000 Information, Computing and Communication Sciences #780000 - Non-Oriented Research
Tipo

Conference Paper