| |
| 2002 | ||
|---|---|---|
| 5 | Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. Formal Methods in System Design 20(3): 285-310 (2002) | |
| 1999 | ||
| 4 | EE | Javier Esparza, Stefan Römer: An Unfolding Algorithm for Synchronous Products of Transition Systems. CONCUR 1999: 2-20 |
| 1997 | ||
| 3 | Stephan Melzer, Stefan Römer: Deadlock Checking Using Net Unfoldings. CAV 1997: 352-363 | |
| 1996 | ||
| 2 | Stephan Melzer, Stefan Römer, Javier Esparza: Verification Using PEP. AMAST 1996: 591-594 | |
| 1 | Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. TACAS 1996: 87-106 | |
| 1 | Javier Esparza | [1] [2] [4] [5] |
| 2 | Stephan Melzer | [2] [3] |
| 3 | Walter Vogler | [1] [5] |