Browse by Person (creator, editor, contributor, etc.)
Up a level |
Number of items: 1.
Derrick, John and Boiten, Eerke Albert (2011) Relational Concurrent Refinement: Timed Refinement. In: Formal Techniques for Distributed Systems, June 2011, Reykjavik. (doi:https://doi.org/10.1007/978-3-642-21461-5â??) (Full text available) |