| Original language | English |
|---|---|
| Publisher | Chapman and Hall/CRC |
| ISBN (Electronic) | 978-1-4987-0158-7 |
| ISBN (Print) | 978-1-4987-0158-7 |
| DOIs | |
| Publication status | Published - 2016 |
| MoE publication type | C2 Edited work |
From Action Systems to Distributed Systems - The Refinement Approach
Luigia Petre, Emil Sekerinski
Research output: Book/Journal/Report › Edited Book/Edited Journal › Scientific › peer-review
