Formal verification of m-charts

---

Autoria(s): Goldson, D. W.

Contribuinte(s)	P. Strooper P. Muenchaisri
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:96887
Publicador	IEEE Computer Society
Palavras-Chave	#E1 #280302 Software Engineering #700100 Computer Software and Services
Tipo	Conference Paper