Search results for: Benoît Caillaud
Sports Engineering > 2019 > 22 > 2 > 1-11
Nonlinear Analysis: Hybrid Systems > 2017 > 26 > C > 168-189
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Full Papers > 140-160
Lecture Notes in Computer Science > TAPSOFT '95: Theory and Practice of Software Development > 711-725
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Tutorials and Papers > 125-152
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Components and Architecture > 32-46
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The ARTIST Project > 200-225
Journal of Computer and System Sciences > 2012 > 78 > 3 > 877-910
Automatica > 2011 > 47 > 11 > 2364-2372
Theoretical Computer Science > 2011 > 412 > 34 > 4373-4404
Formal Methods in System Design > 2011 > 38 > 1 > 1-32
Formal Methods in System Design > 2006 > 28 > 2 > 111-130
Electronic Notes in Theoretical Computer Science > 2005 > 133 > Complete > 193-215