Showing 1 - 2 results of 2 for search 'Vicario, Enrico', query time: 0.02s Refine Results
  1. 1
    Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings /
    Published 2015
    Other Authors: “…Vicario, Enrico…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    New Frontiers in Quantitative Methods in Informatics 7th Workshop, InfQ 2017, Venice, Italy, December 4, 2017, Revised Selected Papers /
    Published 2018
    Other Authors: “…Vicario, Enrico…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search