Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
|
en:publications_2016 [2016/03/18 13:56] Vadim |
en:publications_2016 [2016/04/18 15:57] Vadim |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| border-bottom: 1px solid #d8d8d8; | border-bottom: 1px solid #d8d8d8; | ||
| margin-bottom: 10px; | margin-bottom: 10px; | ||
| - | padding-bottom:10px; | + | padding-bottom:15px; |
| font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; | font-family: 'Helvetica Neue', Helvetica, Arial, sans-serif; | ||
| font-weight: 300; | font-weight: 300; | ||
| 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> | ||