- ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Start Over

You searched for: author_facet Abate, Alessandro

Showing 1 - 5 of 5 results

Search Results

Cover image for Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

Hybrid Systems Biology Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

by Abate, Alessandro
2015
1st ed. 2015
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 19th International Conference on Hybrid Systems

Proceedings of the 19th International Conference on Hybrid Systems

2016
Format: Electronic

Location
Access Content Online

Cover image for Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5?7, 2017, Proceedings

Formal Modeling and Analysis of Timed Systems 15th International Conference, FORMATS 2017, Berlin, Germany, September 5?7, 2017, Proceedings

by Abate, Alessandro
2017
Format: Electronic

Location
Access Content Online

Cover image for Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

Numerical Software Verification 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

by Abate, Alessandro
2017
Format: Electronic

Location
Access Content Online

Cover image for Quantitative Evaluation of Systems 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

Quantitative Evaluation of Systems 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings

by Abate, Alessandro
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online