Search results
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Invited Paper > 1-24
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2005 > Full Papers > 90-107
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 92-106
Lecture Notes in Computer Science > CONCURRENCY 88 > 380-400
Lecture Notes in Computer Science > Structural Information and Communication Complexity > Survey Talk > 17-28
NATO Science Series II: Mathematics, Physics and Chemistry > Engineering Theories of Software Intensive Systems > System and Program Verification, Model Checking and Theorem Proving > 177-213
Lecture Notes in Computer Science > CONCUR '92 > 162-175
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 592-621
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > 214-231
Lecture Notes in Computer Science > Euro-Par 2010 - Parallel Processing > Topic 8: Distributed Systems and Algorithms > 584-595