Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
research:publications [2016/11/30 22:26]
luca
research:publications [2016/11/30 22:31] (current)
luca [Journal Papers]
Line 125: Line 125:
  
   * Barbuti, Roberto and De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2002) "A Notion of Non-Interference for Timed Automata",​ //​Fundamenta Informaticae//​ **51**(1-2),​ 1-11.\\ [[http://​content.iospress.com/​articles/​fundamenta-informaticae/​fi51-1-2-02|Page at Publisher]],​ [[http://​hdl.handle.net/​11581/​201244|Entry at UNICAM Repository]],​ {{ :​research:​bdst02-postprint.pdf |PDF}}   * Barbuti, Roberto and De Francesco, Nicoletta and Santone, Antonella and Tesei, Luca (2002) "A Notion of Non-Interference for Timed Automata",​ //​Fundamenta Informaticae//​ **51**(1-2),​ 1-11.\\ [[http://​content.iospress.com/​articles/​fundamenta-informaticae/​fi51-1-2-02|Page at Publisher]],​ [[http://​hdl.handle.net/​11581/​201244|Entry at UNICAM Repository]],​ {{ :​research:​bdst02-postprint.pdf |PDF}}
 +
 +===== 2001 =====
 +
 +==== 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}}