Search results for: Tobe Toben
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Requirements and Design > 230-246
Lecture Notes in Computer Science > Program Analysis and Compilation, Theory and Practice > Technical Papers > 225-246
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 35-50
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2008 > Abstraction > 21-36
Lecture Notes in Computer Science > Applications of Graph Transformations with Industrial Relevance > Model Driven Software Development Applications > 361-376
Lecture Notes in Computer Science > Computer Aided Verification > Session 8. Property Specification and Verification > 219-233
Electronic Notes in Theoretical Computer Science > 2013 > 297 > Complete > 75-88
Electronic Notes in Theoretical Computer Science > 2006 > 145 > Complete > 95-111