Search results for: François Laroussinie
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 337-351
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Model Checking > 112-126
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 318-331
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 565-579
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Model Checking > 125-136
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Modal and Temporal Logics > 206-220
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Markov Chains and Real-Time Systems > 170-184
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Contributed Papers > 243-257
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > 192-207
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 264-279
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Probabilistic Models > 140-154
Lecture Notes in Computer Science > Formal Modeling and Analysis of Timed Systems > Contributed Papers > 245-259