Erinevused
Siin näed erinevusi valitud versiooni ja hetkel kehtiva lehekülje vahel.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
et:publications_2015 [2016/03/18 15:28] Vadim |
et:publications_2015 [2016/04/18 15:58] Vadim |
||
|---|---|---|---|
| Rida 5: | Rida 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; | ||
| Rida 233: | Rida 233: | ||
| </div> | </div> | ||
| </html> | </html> | ||
| - | |||
| - | <div classes #projects_head>PEATÜKID RAAMATUTES</div> | ||
| - | |||
| - | * Truscan D.; Vain J.; Koskinen M.; Iqbal J. (2015) A tool-supported approach for introducing aspects in UPPAAL timed automata. In: A.Holzinger, J.Cardoso, J.Cordeiro, T.Libourel, L.A.Maciaszek, M. van Sinderen editors, //Software Technologies, volume 555 of the series Communications in Computer and Information Science//, 349--364, Springer, Switzerland, 2015. http://doi.org/10.1007/978-3-319-25579-8_20 | ||