scientific article; zbMATH DE number 7356853

zbMath1464.68194arXiv1307.4470MaRDI QIDQ4992508

Davide Bresolin

Publication date: 9 June 2021

Full work available at URL: https://arxiv.org/abs/1307.4470

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items (1)

An Introduction to the Verification of Hybrid Systems Using Ariadne

This page was built for publication: