- CSB - MetaPress - Google - Bing - Yahoo
 | 2007 | |
|---|---|---|
| 1 |      | Péter Bokor, Marco Serafini, Áron Sisak, András Pataricza, Neeraj Suri: Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation. HASE 2007: 169-178 |
| 1 | Péter Bokor | [1] |
| 2 | András Pataricza | [1] |
| 3 | Marco Serafini | [1] |
| 4 | Neeraj Suri | [1] |