The cones and foci proof technique for timed transition systems

by M. B. van der Zwaag

Venue:	Information Processing Letters
Citations:	8 - 0 self

User correction supplied by mph

Datum	Value	Source
TITLE	The cones and foci proof technique for timed transition systems	INFERENCE
AUTHOR NAME	M. B. van der Zwaag	user correction
AUTHOR AFFIL	CWI	user correction
AUTHOR ADDR	P.O. Box 94079, 1090 GB Amsterdam, The Netherlands	user correction
ABSTRACT		user correction
VENUE	Information Processing Letters	INFERENCE
VENUE TYPE	JOURNAL	INFERENCE
PAGES	2001	INFERENCE
VOLUME	80	INFERENCE
CITATIONS	21 found	ParsCit 1.0