Browsing LAMSADE : Publications by Author "Baarir, Souheib"

Now showing items 1-2 of 2

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