Rayna Dimitrova

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Coauthor Index

1 Bernd Finkbeiner [2]

2 Andreas Podelski [1]