Search results for: Etienne Andre
Concurrency and Computation: Practice and Experience > 34 > 3 > n/a - n/a
Fundamenta Informaticae > 2021 > Vol. 182, nr 1 > 69--94
Fundamenta Informaticae > 2021 > Vol. 182, nr 1 > 31--67
International Journal on Software Tools for Technology Transfer > 2019 > 21 > 2 > 203-219
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Tool Papers > 336-342
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 463-472
Chemistry – A European Journal > 22 > 9 > 3105 - 3114
Formal Aspects of Computing > 2016 > 28 > 5 > 805-845
IEEE Transactions on Software Engineering > 2014 > 40 > 2 > 137 - 153
Real-Time Systems > 2014 > 50 > 5-6 > 620-679