Search results
Lecture Notes in Computer Science > Formal Methods for Components and Objects > Program Verification > 102-126
Lecture Notes in Computer Science > Emerging Directions in Embedded and Ubiquitous Computing > ESO 2006 Workshop > 795-804
Lecture Notes in Computer Science > Engineering Secure Software and Systems > Policy Verification and Enforcement > 1-15
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2001 > Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints > 242-262
Lecture Notes in Computer Science > Static Analysis > Concurrency > 164-178
Lecture Notes in Computer Science > Symbolic and Quantitative Approaches to Reasoning with Uncertainty > Many-Valued Logical Systems > 638-649
Lecture Notes in Computer Science > Trends in Applied Intelligent Systems > Intelligent Agent-Based Systems > 418-427
Lecture Notes in Computer Science > Static Analysis > Model Checking > 319-334
Lecture Notes in Computer Science > Application and Theory of Petri Nets 1998 > Full Papers > 84-103
Lecture Notes in Computer Science > Theoretical Aspects of Computing - ICTAC 2006 > Real-Time and Mobility > 347-361
Lecture Notes in Computer Science > CAAP '92 > 322-341
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Papers > 20-33
Lecture Notes in Computer Science > Reliable Software Technologies — Ada-Europe 2003 > Ravenscar > 80-91
Lecture Notes in Computer Science > Model Checking Software > Implementation and Performance of Model Checking > 76-87