scientific article; zbMATH DE number 7362026
From MaRDI portal
Publication:4994958
zbMath1467.68093arXiv1404.0087MaRDI QIDQ4994958
Publication date: 22 June 2021
Full work available at URL: https://arxiv.org/abs/1404.0087
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Unnamed Item ⋮ Parametric updates in parametric timed automata ⋮ Unnamed Item ⋮ What’s Decidable About Parametric Timed Automata?
This page was built for publication:
