| Original language | English |
|---|---|
| Type | Newsletter on Modelling, Verification and Evolution of Software (MoVES) |
| Number of pages | 1 |
| Place of Publication | Brussels |
| Edition | 5 |
| Volume | Work Package |
| Publication status | Published - 2011 |
Refinement & Synthesis - Distributed Event Clock Automata
James Jerson Ortiz Vega, Pierre-Yves Schobbens, Axel Legay
Research output: Other contribution
24
Downloads
(Pure)