scientific article; zbMATH DE number 7317265
From MaRDI portal
Publication:4964732
zbMath1457.68110arXiv1106.1245MaRDI QIDQ4964732
Publication date: 3 March 2021
Full work available at URL: https://arxiv.org/abs/1106.1245
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Other nonclassical models of computation (68Q09)
This page was built for publication:
