Philippe Darondeau (INRIA Rennes Bretagne Atlantique)

Identifiers

• name variant Philippe Darondeau (INRIA Rennes Bretagne Atlantique) 0.60 · backfill

Papers (1)

1. Petri Net Reachability Graphs: Decidability Status of First Order Properties cs.LO · 2012 · author #1

Mentions

• 1210.2972 #1 · backfill · confidence 0.70 Philippe Darondeau (INRIA Rennes Bretagne Atlantique)

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
• Roland Meyer (University of Kaiserslautern) 1 shared papers
• Stephane Demri (LSV 1 shared papers