- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j2 |      | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena: Regular model checking for LTL(MSO). STTT 14(2): 223-241 (2012) |
| 2008 | ||
| c5 | | Mayank Saksena, Oskar Wibling, Bengt Jonsson: Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols. TACAS 2008: 18-32 |
| 2007 | ||
| c4 | | |
| 2006 | ||
| c3 | | Parosh Aziz Abdulla, Bengt Jonsson, Ahmed Rezine, Mayank Saksena: Proving Liveness by Backwards Reachability. CONCUR 2006: 95-109 |
| 2005 | ||
| j1 | | Therese Berg, Bengt Jonsson, Martin Leucker, Mayank Saksena: Insights to Angluin's Learning. Electr. Notes Theor. Comput. Sci. 118: 3-18 (2005) |
| 2004 | ||
| c2 | | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Julien d'Orso, Mayank Saksena: Regular Model Checking for LTL(MSO). CAV 2004: 348-360 |
| c1 | | Parosh Aziz Abdulla, Bengt Jonsson, Marcus Nilsson, Mayank Saksena: A Survey of Regular Model Checking. CONCUR 2004: 35-48 |
| 1 | Parosh Aziz Abdulla | |
| 2 | Therese Berg | |
| 3 | Bengt Jonsson | |
| 4 | Martin Leucker | |
| 5 | Marcus Nilsson | |
| 6 | Ahmed Rezine | |
| 7 | Oskar Wibling | |
| 8 | Julien d'Orso |
Data released under the ODC-BY 1.0 license — See also our legal information page