Search results for: J. M. Couvreur
Formal Methods for Embedded Distributed Systems > Building and Validating Operational Aspects > 171-211
Formal Methods for Embedded Distributed Systems > Building and Validating Operational Aspects > 171-211
Fundamenta Informaticae > 2013 > Vol. 122, nr 1-2 > 31--58