Search results for: Erik Vink
Lecture Notes in Computer Science > From Theory to Practice in Multi-Agent Systems > Regular Papers > 29-36
IFIP — The International Federation for Information Processing > Formal Aspects in Security and Trust > 85-98
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Verification of Parameterized Systems > 113-127
Lecture Notes in Computer Science > Recent Trends in Algebraic Development Techniques > Contributed Papers > 221-235
Lecture Notes in Computer Science
Information, Interaction and Agency > 289-327
Formal Aspects of Computing > 2012 > 24 > 2 > 187-216