scientific article; zbMATH DE number 1408336
From MaRDI portal
Publication:4941150
zbMath0944.68109MaRDI QIDQ4941150
Publication date: 29 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Language recognition by two-way deterministic pushdown automata ⋮ CTL* model checking for data-aware dynamic systems with arithmetic
This page was built for publication:
