Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

Behrmann, Gerd and Bouyer, Patricia and Larsen, Kim G. and Pelánek, Radek (2004) Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. In: 10th Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2004, 29 Mar - 2 Apr, 2004, Barcelona, Spain.

Preview

PDF
624Kb

Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/51011
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 223932