scientific article; zbMATH DE number 1444363

zbMath0938.93554MaRDI QIDQ4953405

Andreas Nonnengart

Publication date: 21 June 2000

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

Mathematics Subject Classification ID

Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items (3)

Superposition as a decision procedure for timed automata ⋮ Superposition Modulo Linear Arithmetic SUP(LA) ⋮ Finite reasons for safety

This page was built for publication: