The University of Warwick Library - WebBridge
Modd checking probabilistic timed automata with one or two clocks
Jurdzinski,
Marcin.
Tools and Algorithms for the Construction and Analysis of Systems : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceed.
v.
Volume 4424.
2007.
p.
170 -
184...
issn:
0302-9743
.
Online access not found
Sorry - based on the information provided, WebBridge cannot offer appropriate links.
- If online access is not found this means that the Library's subscriptions do not cover access to the article. You may still be able to access it online if there is an open access version available.
- Check availability in Library Search to confirm whether we have the print journal at the Library or if we have online access to the journal but not for the year you required.
- When the Library has no access to a specific print or online article you can use Get it for me! to request a copy.