Search results for: Blaise Genest
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Message Sequence Charts > 420-434
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > 458-473
Lecture Notes in Computer Science > Database and XML Technologies > XML Transaction Management and Schema Design > 180-187
Lecture Notes in Computer Science > LATIN 2002: Theoretical Informatics > Regular Contributions > 326-340
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Model-Checking and HMSC > 311-326
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Model-Checking > 510-525
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Theory > 332-346
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Specification, Program Synthesis > 429-444
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 378-393
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2006 > Testing > 420-435
Lecture Notes in Computer Science > Automata, Languages and Programming > Session 1-Track B. Automata > 52-63
Lecture Notes in Computer Science > Foundations of Software Science and Computation Structures > Contributed Papers > 195-210