Browsing LAMSADE (UMR CNRS 7243) by Author "Baarir, Souheib"
-
Exploiting Partial Symmetries in Well-formed nets for the Reachability and the Linear Time Model Checking Problems
Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence -
On the use of exact lumpability in partially symmetrical Well-formed Nets
Baarir, Souheib; Dutheillet, Claude; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence