Completeness of timed µCRL

Research output: Book/Report › Report › Academic

60 Downloads (Pure)

Original language	English
Place of Publication	Amsterdam
Publisher	Centrum voor Wiskunde en Informatica
Number of pages	29
Publication status	Published - 2000

Name	CWI report. SEN-R : software engineering
Volume	0034
ISSN (Print)	1386-369X

Access to Document