| |
| 2007 | ||
|---|---|---|
| 2 | EE | Daniel Plagge, Michael Leuschel: Validating Z Specifications Using the ProBAnimator and Model Checker. IFM 2007: 480-500 |
| 1 | Michael Leuschel, Daniel Plagge: Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more. ISoLA 2007: 73-84 | |
| 1 | Michael Leuschel | [1] [2] |