Search results for: Stefan Schwoon
Journal of Computer and System Sciences > 2017 > 83 > 1 > 101-120
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 141-153
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Invited Contributions > 1-26
Lecture Notes in Computer Science > Static Analysis > Static Analysis of Procedural Languages > 189-213
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Program Analysis and Semantics > 440-455
Lecture Notes in Computer Science > Graph Transformations > Session 2. Behavioural Analysis > 91-106
Lecture Notes in Computer Science > FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 348-359
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Trust, Reputation > 501-516
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Refinement > 489-503
Lecture Notes in Computer Science > Automata Logics, and Infinite Games > Determinization and Complementation > 79-91
Lecture Notes in Computer Science > Descriptional Complexity of Formal Systems > Invited Papers > 34-42
Lecture Notes in Computer Science > Applications and Theory of Petri Nets 2003 > Tool Papers > 463-472
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Tool Presentations > 541-545
Lecture Notes in Computer Science > Transactions on Petri Nets and Other Models of Concurrency I > 199-220