Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
research:publications [2016/11/30 22:31] luca |
research:publications [2016/11/30 22:31] luca [Journal Papers] |
||
---|---|---|---|
Line 130: | Line 130: | ||
==== Journal Papers ==== | ==== Journal Papers ==== | ||
- | * Barbuti, Roberto and De Francesco, Nicoletta and Tesei, Luca (2001) "Timed Automata with non-Instantaneous Actions", Fundamenta Informaticae 47(3-4), 189-200.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-02|Page at Publisher]], [[http://hdl.handle.net/11581/201243|Entry at UNICAM Repository]], {{ :research:bdt01-postprint.pdf |PDF}} | + | * Barbuti, Roberto and De Francesco, Nicoletta and Tesei, Luca (2001) "Timed Automata with non-Instantaneous Actions", //Fundamenta Informaticae// **47**(3-4), 189-200.\\ [[http://content.iospress.com/articles/fundamenta-informaticae/fi47-3-4-02|Page at Publisher]], [[http://hdl.handle.net/11581/201243|Entry at UNICAM Repository]], {{ :research:bdt01-postprint.pdf |PDF}} |