Introducing parallel composition to the timed refinement calculus

---

Autoria(s): Smith, G. P.

Contribuinte(s)	H. ElGindy C. Fidge
Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:95747
Publicador	Springer Verlag
Palavras-Chave	#E1 #280302 Software Engineering #700199 Computer software and services not elsewhere classified
Tipo	Conference Paper