|
Search the dblp DataBase
Stefan Römer:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Stephan Melzer, Stefan Römer, Javier Esparza
Verification Using PEP. [Citation Graph (0, 0)][DBLP] AMAST, 1996, pp:591-594 [Conf]
- Stephan Melzer, Stefan Römer
Deadlock Checking Using Net Unfoldings. [Citation Graph (0, 0)][DBLP] CAV, 1997, pp:352-363 [Conf]
- Javier Esparza, Stefan Römer
An Unfolding Algorithm for Synchronous Products of Transition Systems. [Citation Graph (0, 0)][DBLP] CONCUR, 1999, pp:2-20 [Conf]
- Javier Esparza, Stefan Römer, Walter Vogler
An Improvement of McMillan's Unfolding Algorithm. [Citation Graph (0, 0)][DBLP] TACAS, 1996, pp:87-106 [Conf]
- Javier Esparza, Stefan Römer, Walter Vogler
An Improvement of McMillan's Unfolding Algorithm. [Citation Graph (0, 0)][DBLP] Formal Methods in System Design, 2002, v:20, n:3, pp:285-310 [Journal]
Search in 0.001secs, Finished in 0.001secs
|