Search results for: Bertrand Jeannet
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Papers > 204-219
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Testing > 349-364
Lecture Notes in Computer Science > Modeling and Verification of Parallel Processes > Tutorials and Papers > 99-124
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods: Performance Modeling and Verification > Selected Papers > 57-76
Lecture Notes in Computer Science > Algebraic Methodology and Software Technology > Contributed Talks > 258-273
Lecture Notes in Computer Science > Process Algebra and Probabilistic Methods. Performance Modelling and Verification > Contributed Papers > 39-56
Lecture Notes in Computer Science > Static Analysis > 233-248
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 290-305
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Short Papers > 492-502
Lecture Notes in Computer Science > Static Analysis > Shape Analysis > 246-264
Software & Systems Modeling > 2013 > 12 > 2 > 285-306