Chapter
Integrating Refinement-Based Methods for Developing Timed Systems
Authors
Vain J; Tsiopoulos L; Boström P
Book title
From Action Systems to Distributed Systems
Pagination
pp. 171-185
Publisher
Taylor & Francis
Publication Date
May 12, 2016
DOI
10.1201/b20053-17