Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

2 Results for Varacca, Daniele

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Counterexamples in Probabilistic LTL Model Checking for Markov Chains

Schmalz, Matthias, Varacca, Daniele and Völzer, Hagen (2009)

Reports Reports

2. Model checking almost all paths can be less expensive than checking all paths

Schmalz, Matthias, Völzer, Hagen and Varacca, Daniele

Reports Reports