Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
en:publications_2016 [2016/04/18 15:57] Vadim |
en:publications_2016 [2016/04/18 15:57] Vadim |
||
|---|---|---|---|
| Line 86: | Line 86: | ||
| <div class="publAuthors">J. Vain · L. Tsiopoulos · P. Bostöm</div> | <div class="publAuthors">J. Vain · L. Tsiopoulos · P. Bostöm</div> | ||
| <div class="publTitle">Integrating refinement-based methods for developing timed systems</div> | <div class="publTitle">Integrating refinement-based methods for developing timed systems</div> | ||
| - | <div class="publIn">FROM ACTION SYSTEMS TO DISTRIBUTED SYSTEMS: THE REFINEMENT APPROACH (1--18). Taylor & Francis, 2016. [forthcoming]</div> | + | <div class="publIn">FROM ACTION SYSTEMS TO DISTRIBUTED SYSTEMS: THE REFINEMENT APPROACH (1−18). Taylor & Francis, 2016. [forthcoming]</div> |
| <div style="clear: both;"></div> | <div style="clear: both;"></div> | ||
| </div> | </div> | ||
| </div> | </div> | ||
| </html> | </html> | ||