- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 3 |      | Rayna Dimitrova, Bernd Finkbeiner: Synthesis of Fault-Tolerant Distributed Systems. ATVA 2009: 321-336 |
| 2008 | ||
| 2 | | Rayna Dimitrova, Bernd Finkbeiner: Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008 |
| 1 | | Rayna Dimitrova, Andreas Podelski: Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? VMCAI 2008: 98-111 |
| 1 | Bernd Finkbeiner | [2] [3] |
| 2 | Andreas Podelski | [1] |