Search results for: Mamoun Filali
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 105-119
Electronic Notes in Theoretical Computer Science > 2011 > 280 > Complete > 23-33
Electronic Notes in Theoretical Computer Science > 2007 > 185 > Complete > 17-32