Search results for: Didier Lime
Fundamenta Informaticae > 2021 > Vol. 182, nr 1 > 69--94
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 291-305
Lecture Notes in Computer Science > Computer Aided Verification > Session III: Timed Synthesis and Games > 121-125
Lecture Notes in Computer Science > Applications and Theory of Petri Nets > Regular Papers > 307-326
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tools I > 54-57
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 192-206
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2004 > Full papers > 371-390
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Petri Nets > 211-225
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Session 6. Time Petri Nets > 280-294
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Established Formalisms and Standards > 293-307
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 273-284
IEEE Transactions on Software Engineering > 2015 > 41 > 5 > 445 - 461
Communicating Embedded Systems > 1 - 37