Search results for: Marc Aiguier
Artificial Intelligence > 2018 > 256 > C > 160-180
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2009 > Full Research Papers > 261-276
Software Testing, Verification and Reliability > 26 > 4 > 294 - 317
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2004 > Real-Time and Co-design > 415-430
Lecture Notes in Computer Science > Theoretical Aspects of Computing – ICTAC 2010 > Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software > 184-198
Lecture Notes in Computer Science > International Symposium on Fundamentals of Software Engineering > 144-159
Lecture Notes in Computer Science > Algebraic Biology > 125-138
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 203-217
Lecture Notes in Computer Science > Algebra and Coalgebra in Computer Science > Contributed Papers > 356-371
Lecture Notes in Computer Science > Bioinformatics and Computational Biology > Refereed Papers > 270-281
Lecture Notes in Computer Science > Artificial Intelligence, Automated Reasoning, and Symbolic Computation > AISC Regular Talks > 51-63
2012 19th Asia-Pacific Software Engineering Conference > 1 > 300 - 305
Theoretical Computer Science > 2012 > 455 > Complete > 66-97
Applied Mathematics and Computation > 2012 > 218 > 16 > 8039-8055
Mathematics in Computer Science > 2011 > 5 > 3 > 263-288