Browsing LAMSADE : Publications by Author "Ajami, Khalil"

Now showing items 1-2 of 2

Exploiting Symmetry in Linear Time Temporal Logic Model Checking : One Step Beyond

Ajami, Khalil; Haddad, Serge; Ilié, Jean-Michel (1998) Communication / Conférence
A Model Checking Method for Partially Symmetric Systems

Haddad, Serge; Ilié, Jean-Michel; Ajami, Khalil (2000) Communication / Conférence