Search results for: Doron Peled
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 > Formal Approaches to Software Testing > Proceedings FATES 2005 > 152-169
Lecture Notes in Computer Science > Mathematical Foundations of Computer Science 1999 > Foundations of Programming > 81-91
Lecture Notes in Computer Science > Automata, Languages and Programming > Model Checking and Protocol Analysis > 720-731
Lecture Notes in Computer Science > Formal Approaches to Software Testing > Proceedings FATES 2005 > 134-151
Lecture Notes in Computer Science > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency > 489-507
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Research Papers > 117-132
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 292-304
Lecture Notes in Computer Science > TAPSOFT '97: Theory and Practice of Software Development > 652-666
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > 241-257