Erinevused

Siin näed erinevusi valitud versiooni ja hetkel kehtiva lehekülje vahel.

Lõlita võrdlemise vaatele

Both sides previous revision Previous revision
Last revision Both sides next revision
et:publications_2015 [2016/03/18 15:28]
Vadim
et:publications_2015 [2016/03/18 15:29]
Vadim
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