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