Search results for: Julian Bradfield
Lecture Notes in Computer Science > Computer Science Logic > Finite Models, Decidability and Complexity > 355-368
Lecture Notes in Computer Science > Computer Science Logic > Verification and Model Checking > 384-396
Lecture Notes in Computer Science > Fundamental Approaches to Software Engineering > Formal Approaches towards UML > 203-217
Lecture Notes in Computer Science
Information and Computation > 2011 > 209 > 5 > 766-781