Search results for: Claude Jard
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 291-305
Formal Methods in System Design > 2013 > 43 > 3 > 493-519
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 291-305
Formal Methods in System Design > 2013 > 43 > 3 > 493-519