The Library

Browse by Funded research at the University of Warwick

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Author | No Grouping
Jump to: Journal Article
Number of items: 1.

Journal Article

Jurdzinski, Marcin, Laroussinie, Francois and Sproston, Jeremy (2008) Model checking probabilistic timed automata with one or two clocks. Logical Methods in Computer Science, Vol.4 (No.3). Article no.12 . doi:10.2168/LMCS-4(3:12)2008 ISSN 1860-5974.

This list was generated on Sun Oct 1 07:16:07 2023 BST.