The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation

Title:	The Coarsest Congruence for Timed Automata with Deadlines Contained in Bisimulation
Author(s):	D'Argenio, P.R. (149170556) Gebremichael-Tesfagiorgis, B. (298441829) Abadi, M. Alfaro, L. de
Publication year:	2005
Document type:	Article in monograph or in proceedings
Book title:	CONCUR 2005 - concurrency theory : 16th international conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005 : proceedings
ISBN:	3540283099 9783540283096
Volume:	3653
Start page:	p. 125
End page:	p. 140
Series:	Lecture notes in computer science
Publisher:	Berlin ; New York : Springer
Annotation:	2
Subject:	Informatics for Technical Applications
Organization:	Informatics for Technical Applications
Appears in Collections:	Academic bibliography

Please use this identifier to cite or link to this item: http://hdl.handle.net/2066/32309