Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: G

Number of items: 1.

G

Gomez, Rodolfo and Bowman, Howard (2007) Efficient Detection of Zeno Runs in Timed Automata. In: Raskin, J.-F. and Thiagarajan, P.S., eds. Formal Modeling and Analysis of Timed Systems 5th International Conference. Lecture Notes in Computer Science . Springer, Berlin, Germany, pp. 195-210. ISBN 978-3-540-75453-4. E-ISBN 978-3-540-75454-1. (doi:10.1007/978-3-540-75454-1_15) (KAR id:14538)

This list was generated on Thu May 9 22:47:16 2024 BST.