| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 3 |      | Michael Dierkes: Formal Analysis of a Triplex Sensor Voter in an Industrial Context. FMICS 2011: 102-116 |
| 2000 | ||
| 2 | | Michael Dierkes: An Application of Model Building in a Resolution Decision Procedure for Guarded Formulas. Computational Logic 2000: 583-597 |
| 1999 | ||
| 1 | | Michael Dierkes: Simplification of Horn Clauses That Are Clausal Forms of Guarded Formulas. LPAR 1999: 286-303 |
Data released under the ODC-BY 1.0 license — See also our legal information page