- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Alexander Schimpf, Stephan Merz, Jan-Georg Smaus: Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. TPHOLs 2009: 424-439 |
| 1 | Stephan Merz | [1] |
| 2 | Jan-Georg Smaus | [1] |