Browse by Person (creator, editor, contributor, etc.)

Up a level

Export as ASCII CitationBibTeXDublin CoreEP3 XMLEndNoteHTML CitationJSONMETSMultiline CSVMultiline CSV (Staff)Object IDsOpenURL ContextObjectRDF+N-TriplesRDF+N3RDF+XMLReferReference Manager	Atom RSS 1.0 RSS 2.0

Group by: Item Type | Date | No Grouping

Jump to: Conference or workshop item

Number of items: 1.

Conference or workshop item

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, Formats 2007, Salzburg, Austria, October 3-5, 2007, Proceedings. Lecture Notes in Computer Science, 4763. Springer, Salzburg, Austria pp. 195-210. ISBN 3-540-75453-9. (Full text available)

Preview

This list was generated on Fri May 24 00:53:55 2019 BST.