Stefan Römer Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2002
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
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
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Javier Esparza, Stefan Römer: An Unfolding Algorithm for Synchronous Products of Transition Systems. CONCUR 1999: 2-20
1997
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephan Melzer, Stefan Römer: Deadlock Checking Using Net Unfoldings. CAV 1997: 352-363
1996
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Stephan Melzer, Stefan Römer, Javier Esparza: Verification Using PEP. AMAST 1996: 591-594
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XML
Javier Esparza, Stefan Römer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm. TACAS 1996: 87-106

Coauthor Index

1Javier Esparza
[j1] [c4] [c2] [c1]
2Stephan Melzer
[c3] [c2]
3Walter Vogler
[j1] [c1]
Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Mon May 20 02:34:19 2013 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page