![]() | ![]() |
2000 | ||
---|---|---|
3 | Serge Haddad, Jean-Michel Ilié, Khalil Ajami: A Model Checking Method for Partially Symmetric Systems. FORTE 2000: 121-136 | |
1998 | ||
2 | EE | Khalil Ajami, Serge Haddad, Jean-Michel Ilié: Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. TACAS 1998: 52-67 |
1997 | ||
1 | Jean-Michel Ilié, Khalil Ajami: Model Checking Through Symbolic Reachability Graph. TAPSOFT 1997: 213-224 |
1 | Serge Haddad | [2] [3] |
2 | Jean-Michel Ilié (Jean Michel Ilié) | [1] [2] [3] |