Search results for: David Lesens
Fundamenta Informaticae > 2021 > Vol. 182, nr 1 > 31--67
Lecture Notes in Computer Science > Formal Methods for Open Object-Based Distributed Systems > Regular Papers > 48-62
Discrete Event Dynamic Systems > 2011 > 21 > 3 > 307-338
Theoretical Computer Science > 2001 > 256 > 1-2 > 113-144