Browsing by Author "Evangelista, Sami"
-
De nouvelles réductions colorées pour la validation de logiciels
Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2004) Article accepté pour publication ou publié -
New Coloured Reductions for Software Validation
Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2004) Communication / Conférence -
Syntactical Colored Petri Nets Reductions
Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2005) Communication / Conférence