Searching for authors named Kais Klai – sorted by Relevance.
-
An Incremental Verification Technique Using Decomposition of
- -Michel Ilie 2 and Kais Klai 2 (1) lab. Lamsade, Universite Paris Dauphine, France, (2) lab. LIP6
- Add To MetaCart

