MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Adding Symmetry Reduction to Uppaal." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Adding Symmetry Reduction to UPPAAL
by Martijn Hendriks, Gerd Behrmann, Kim Larsen, Peter Niebert, Frits Vaandrager — 2004
…Adding Symmetry Reduction to Uppaal Martijn Hendriks 1 Gerd Behrmann 2 Kim Larsen 2 Peter…
Cited by 11 (1 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
….2 Model Checking and Symmetry Reduction . . . . . . . . . . . . . 73 4.3 Adding Scalarsets to Uppaal…
Cited by 11 (0 self) – Add To MetaCart

unknown title
by Martijn Hendriks, Gerd Behrmann, Kim Larsen, Peter Niebert, Frits
… Adding Symmetry Reduction to Uppaal ? Martijn Hendriks 1 , Gerd Behrmann 2 , Kim Larsen 2…
Add To MetaCart

Showing 1 through 3.

ATOM

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