Roland Meyer (University of Kaiserslautern)
Identifiers
- name variant Roland Meyer (University of Kaiserslautern) 0.60 · backfill
Papers (1)
- Petri Net Reachability Graphs: Decidability Status of First Order Properties cs.LO · 2012 · author #6
Mentions
- 1210.2972 #6 · backfill · confidence 0.70 Roland Meyer (University of Kaiserslautern)
Frequent Coauthors
- Christophe Morvan (Universit\'e Paris-est Marne-la-Vall\'ee) 1 shared papers
- CNRS 1 shared papers
- ENS Cachan 1 shared papers
- INRIA) 1 shared papers
- Philippe Darondeau (INRIA Rennes Bretagne Atlantique) 1 shared papers
- Stephane Demri (LSV 1 shared papers