Published in: Lecture notes in computer science ; 8570

Published in: SpringerLink ; Bücher

Published in: Lecture notes in computer science ; 6418

Published in: ACM SIGSOFT Software Engineering Notes, 30 (2005) 5, Seite 253-262

Published in: ACM SIGSOFT Software Engineering Notes, 30 (2005) 5, Seite 241-244

Published in: Theoretical Computer Science, 336 (2005) 2-3, Seite 311-342

Published in: Abstract State Machines 2003 (2003), Seite 57-86

Published in: Objects, Models, Components, Patterns (2010), Seite 253-270

Published in: Tests and Proofs (2008), Seite 171-181

Published in: Tests and Proofs (2008), Seite 134-153

Published in: Languages and Compilers for Parallel Computing (2013), Seite 46-60

Published in: Lecture Notes in Computer Science (2010), Seite 141-202

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (2010), Seite 425-446

Published in: Tools and Algorithms for the Construction and Analysis of Systems (2009), Seite 307-321

Published in: Tools and Algorithms for the Construction and Analysis of Systems (2009), Seite 277-291