Search results for: Loïc Hélouët
Discrete Event Dynamic Systems > 2018 > 28 > 2 > 183-213
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 259-274
Lecture Notes in Computer Science > System Analysis and Modeling: Language Profiles > Evolution of Development Languages > 64-81
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 458-473
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Model-Checking and HMSC > 311-326
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2005 > REGULAR PAPERS > 489-502
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Tutorials and Papers > 125-152
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2007 > Technical Session 4. Theory > 160-176
Lecture Notes in Computer Science > Software Product-Family Engineering > Variation Mechanisms > 129-139
Software & Systems Modeling > 2015 > 14 > 2 > 1029-1048
Discrete Event Dynamic Systems > 2014 > 24 > 4 > 353-415
Information Processing Letters > 2012 > 112 > 14-15 > 592-598
Theoretical Computer Science > 2009 > 410 > 41 > 4094-4110