Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1--3, 2020. Proceedings

DOI10.1007/978-3-030-57628-8zbMATH Open1455.68021OpenAlexW4322345171MaRDI QIDQ826555

Author name not available (Why is that?)

Publication date: 5 January 2021

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-57628-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Related Items (2)

Formal modeling and analysis of timed systems. Third international conference, FORMATS 2005, Uppsala, Sweden, September 26--28, 2005. Proceedings ⋮ Mining of extended signal temporal logic specifications with ParetoLib 2.0

This page was built for publication: Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1--3, 2020. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q826555)