Showing 1 - 4 results of 4 for search 'Abate, Alessandro', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control
    Published 2016
    Other Authors: “…Abate, Alessandro…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers /
    Published 2015
    Other Authors: “…Abate, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings /
    Published 2017
    Other Authors: “…Abate, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /
    Published 2017
    Other Authors: “…Abate, Alessandro…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search