Search results for: Andreas Griesmayer
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 61-81
Lecture Notes in Computer Science > Tests and Proofs > 105-120
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Short Papers > 225-230
Lecture Notes in Computer Science > Formal Methods for Components and Objects > The CREDO Project > 41-69
Lecture Notes in Computer Science > Computer Aided Verification > Games and Probabilistic Verification > 226-238
Lecture Notes in Computer Science > NASA Formal Methods > Tool Papers > 453-458
Lecture Notes in Computer Science > Computer Aided Verification > Session 12. Trees, Pushdown Systems and Boolean Programs > 358-371
Lecture Notes in Computer Science > Innovations in Applied Artificial Intelligence > Applications > 783-788
Innovations in Systems and Software Engineering > 2013 > 9 > 1 > 3-16
Journal of Computer and System Sciences > 2012 > 78 > 2 > 441-460
Electronic Notes in Theoretical Computer Science > 2010 > 266 > Complete > 33-48
Electronic Notes in Theoretical Computer Science > 2010 > 266 > Complete > 63-75
Electronic Notes in Theoretical Computer Science > 2009 > 243 > Complete > 3-14
Formal Aspects of Computing > 2009 > 21 > 6 > 571-588
Electronic Notes in Theoretical Computer Science > 2007 > 174 > 4 > 95-111