by Darondeau, Philippe, Demri, Stephane, Meyer, Roland, Morvan, Christophe
Published in Logical methods in computer science (22.10.2012)

by Best, Eike, Darondeau, Philippe, Gorrieri, Roberto
Published in Electronic proceedings in theoretical computer science (25.02.2011)

by Badouel, Eric, Bernardinello, Luca, Darondeau, Philippe
Year of Publication 2015

by Dubreil, Jeremy, Darondeau, Philippe, Marchand, Herve
Published in IEEE transactions on automatic control (01.05.2010)

by International Conference on Applications and Theory of Petri Nets (26th : 2005 : Miami, Fl, Ciardo, Gianfranco, Darondeau, Philippe
Year of Publication 2005

by Ciardo, Gianfranco, Darondeau, Philippe
Year of Publication 2005

by Best, Eike, Darondeau, Philippe
Published in Fundamenta informaticae (2011)

by Best, Eike, Darondeau, Philippe
Published in Acta informatica (01.05.2009)

by Darondeau, Philippe, Marchand, Hervé, Ricker, Laurie
Published in Discrete event dynamic systems (01.06.2015)

by Best, Eike, Darondeau, Philippe
Published in Fundamenta informaticae (2011)

by Darondeau, Philippe, Ricker, Laurie
Published in Transactions on Petri Nets and Other Models of Concurrency VI (2012)

by Darondeau, Philippe
Published in Seventh International Conference on Application of Concurrency to System Design (ACSD 2007) (01.07.2007)

by Best, Eike, Darondeau, Philippe
Published in Perspectives of Systems Informatics (2012)

by Best, Eike, Darondeau, Philippe
Published in Applications and Theory of Petri Nets (2010)

by Darondeau, Philippe, Koutny, Maciej, Pietkiewicz-Koutny, Marta, Yakovlev, Alex
Published in Fundamenta informaticae (01.01.2009)

by Best, Eike, Darondeau, Philippe
Published in Principles of Security and Trust (2012)

by DARONDEAU, Philippe, GENEST, Blaise, THIAGARAJAN, P. S, SHAOFA YANG
Published in Information and computation (2010)

by Best, Eike, Darondeau, Philippe, Wimmel, Harro
Published in Fundamenta informaticae (2007)

by Darondeau, Philippe
Published in Concurrency, Graphs and Models (2008)

by Darondeau, Philippe, Genest, Blaise, Thiagarajan, P.S., Yang, Shaofa
Published in Information and computation (2010)