 | Year | | Title | BibTeX cite key | |
|---|
 | Cantu, Bundy, Smaill, Basin |
| |
|
| |
| Charatonik |
| |
|
| |
| 2002 | | On Name Generation and Set-Based Analysis in the Dolev-Yao Model
In: CONCUR 2002 - Concurrency Theory. 13th International Conference, 499-514 | AmadioCharatonik2002 | |
| Charatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot |
| |
| Charatonik, Georgieva, Maier |
| |
| Charatonik, Gordon, Talbot |
| |
| Charatonik, McAllester, Niwinski, Podelski, Walukiewicz |
| |
| Charatonik, Mukhopadhyay, Podelski |
| |
| Charatonik, Podelski |
| |
| Charatonik, Podelski, Talbot |
| |
| Charatonik, Talbot |
| |
| Chaudhuri, Dimopoulos, Zaroliagis |
| |
| Christen |
| |
|
| |
| Claus, Hopf, Schwefel (ed.) |
| |
| Cook, Gotsman, Podelski, Rybalchenko, Vardi |
| |
| Cook, Podelski, Rybalchenko |
| |
| Cortier, Ganzinger, Jacquemard, Veanes |
| |
| Cunningham, Gabbay, Ohlbach |
| |
|
| |
| Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz |
| |
|
| |
| Daum, Maus, Schirmer, Seghir |
| |
|
| |
| de Nivelle, Areces, de Rijke |
| |
| de Nivelle, Baumgartner, Fuchs, Tinelli |
| |
| de Nivelle, Bezem, Hendriks |
| |
| de Nivelle, Blackburn, Bos, Kohlhase |
| |
