Search Results for 'darondeauinriafr'

darondeauinriafr published presentations and documents on DocSlides.

Petri Net Reachability Graphs Decidability Status of FO Properties Philippe Darondeau Stphane Demri Roland Meyer and Christophe Morvan IRISAINRIA Campus de Beaulieu Rennes France philippe

by sherrill-nordquist

darondeauinriafr LSV ENS Cachan CNRS INRIA France ...