Searching for "Model Checking the Time to Reach Agreement." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Model Checking the Time to Reach Agreement
by Martijn Hendriks — 2005 — International Conference on Formal Modelling and Analysis of Timed Systems(FORMATS’05
…Model Checking the Time to Reach Agreement ⋆ Martijn Hendriks Institute for Computing…
Cited by 3 (0 self) – Add To MetaCart

Model Checking Timed Automata - Techniques and Applications
by Typeset Latexε, Martijn Hendriks, Martijn Hendriks, Prof Frits, W. Vaandrager — 2006 — Faculty of Mathematics and Natural Sciences, UL
… chain optimization tool for this particular case study. • Chapter 7: Model Checking the Time to Reach…
Cited by 10 (0 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB