Browse by all authors Browse By Author ID - Neves, Renato

Browse Results (2 results found)

Subscribe to the RSS feed for this result set  Subscribe to the RSS feed for this result set
 
  Abstract Views File Downloads
Madeira, Alexandre, Neves, Renato, Martins, Manuel and Soares Barbosa, Luís, (2018). Hierarchical Hybrid Logic. Electronic Notes in Theoretical Computer Science, 338 167-184 396  
Neves, Renato and Soares Barbosa, Luís, (2018). Languages and models for hybrid automata: A coalgebraic perspective. Theoretical Computer Science, 744 113-142 387