Property verification of asynchronous systems

---

Autoria(s): Cerone, A.; Milne, G.

Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:83961
Publicador	Software Verification Research Cen. Univ of Qld
Palavras-Chave	#280399 Computer Software not elsewhere classified #700102 Application tools and system utilities #K
Tipo	Research Report