Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

7 Results for Schmalz, Matthias

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. Formalizing the logic of event-B

Schmalz, Matthias (2012)

Doctoral and Habilitation Theses

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

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

Reports Reports

4. Rodin's unsoundness bugs

Schmalz, Matthias (2011)

Reports Reports

5. Term rewriting in logics of partial functions

Schmalz, Matthias (2011)

Reports Reports

6. Term rewriting in logics of partial functions

Schmalz, Matthias (2011)

Reports Reports

7. The logic of event-B

Schmalz, Matthias (2011)

Reports Reports

ETH E-Collection · ETH Institutional Repository

Navigation

Browse by Author

7 Results for Schmalz, Matthias

1. Counterexamples in Probabilistic LTL Model Checking for Markov Chains

2. Formalizing the logic of event-B

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

4. Rodin's unsoundness bugs

5. Term rewriting in logics of partial functions

6. Term rewriting in logics of partial functions

7. The logic of event-B

ETH E-Collection · ETH Institutional Repository

Navigation

Toolbar

Browse by Author

7 Results for Schmalz, Matthias

1. Counterexamples in Probabilistic LTL Model Checking for Markov Chains

2. Formalizing the logic of event-B

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

4. Rodin's unsoundness bugs

5. Term rewriting in logics of partial functions

6. Term rewriting in logics of partial functions

7. The logic of event-B