Tool support for checking railway interlocking designs

---

Autoria(s): Winter, K.; Johnston, W. R.; Robinson, P. J.; Strooper, P. A.; Van Den Berg, L.

Contribuinte(s)	Tony Cant
Data(s)	01/01/2005
Identificador	http://espace.library.uq.edu.au/view/UQ:103097
Publicador	Australian Computer Society Inc
Palavras-Chave	#E1 #280302 Software Engineering #700102 Application tools and system utilities
Tipo	Conference Paper