Search results for: Thierry Massart
Lecture Notes in Computer Science > Logic-Based Program Synthesis and Transformation > Analysis and Specialisation > 62-81
Lecture Notes in Computer Science > Principles of Distributed Systems > Real-Time and Embedded Systems > 132-145
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 300-315
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 2011 > Contributed Papers > 278-289
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 6. Model Checking > 263-279
Lecture Notes in Computer Science > Experimental and Efficient Algorithms > Contributed Regular Papers > 177-188
Lecture Notes in Computer Science > FME 2001: Formal Methods for Increasing Software Productivity > 99-118
IEEE Transactions on Automatic Control > 2014 > 59 > 2 > 396 - 408
Discrete Event Dynamic Systems > 2012 > 22 > 2 > 121-161
Discrete Event Dynamic Systems > 2011 > 21 > 3 > 359-393
Annals of Mathematics and Artificial Intelligence > 2010 > 59 > 1 > 81-106
Formal Aspects of Computing > 2005 > 17 > 2 > 177-200