- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 1 |      | Alarico Campetelli, Alexander Gruler, Martin Leucker, Daniel Thoma: Don't Know for Multi-valued Systems. ATVA 2009: 289-305 |
| 1 | Alarico Campetelli | [1] |
| 2 | Alexander Gruler | [1] |
| 3 | Martin Leucker | [1] |