Roland Meyer (University of Kaiserslautern)

Identifiers

• name variant Roland Meyer (University of Kaiserslautern) 0.60 · backfill

Papers (1)

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