Search results for: Lindsay Groves
Lecture Notes in Computer Science > Program Development in Computational Logic > Specification and Synthesis > 66-89
Lecture Notes in Computer Science > ZB 2005: Formal Specification and Development in Z and B > 393-413
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems – FORTE 2004 > Regular Papers > 97-114
Lecture Notes in Computer Science > Computer Aided Verification > Session 17. Memory Consistency > 475-488
Science of Computer Programming > 2015 > 113 > P2 > 191-220
Formal Aspects of Computing > 2013 > 25 > 5 > 769-799
Formal Methods in System Design > 2010 > 37 > 1 > 1-60
Electronic Notes in Theoretical Computer Science > 2009 > 259 > Complete > 245-261
Formal Aspects of Computing > 2009 > 21 > 1-2 > 187-223
Electronic Notes in Theoretical Computer Science > 2008 > 201 > Complete > 69-98
Electronic Notes in Theoretical Computer Science > 2007 > 187 > Complete > 55-74
Electronic Notes in Theoretical Computer Science > 2005 > 137 > 2 > 93-110
Electronic Notes in Theoretical Computer Science > 2002 > 70 > 3 > 416-439