![]() | ![]() |
2008 | ||
---|---|---|
2 | EE | Rayna Dimitrova, Bernd Finkbeiner: Abstraction Refinement for Games with Incomplete Information. FSTTCS 2008 |
1 | EE | Rayna Dimitrova, Andreas Podelski: Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? VMCAI 2008: 98-111 |
1 | Bernd Finkbeiner | [2] |
2 | Andreas Podelski | [1] |