Browsing by Subject Discrete time systems
Showing results 2 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
2015 | Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems | Dongol, B; Derrick, J |
2014 | Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems | Dongol, B; Derrick, J |