Combating infinite state using ergo

---

Autoria(s): Robinson, P. J.; Shankland, C

Contribuinte(s)	H. Konig M Heiner A. Wolisz
Data(s)	01/01/2003
Identificador	http://espace.library.uq.edu.au/view/UQ:99098
Idioma(s)	eng
Publicador	Springer
Palavras-Chave	#E1 #280402 Mathematical Logic and Formal Languages #700102 Application tools and system utilities
Tipo	Conference Paper