scientific article; zbMATH DE number 7361375

zbMath1464.68210arXiv1403.0952MaRDI QIDQ4994712

Oded Maler

Publication date: 21 June 2021

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

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Skill-Based Verification of Cyber-Physical Systems ⋮ Symbolic analysis of linear hybrid automata -- 25 years later

This page was built for publication: