scientific article; zbMATH DE number 1304992
From MaRDI portal
Publication:4251914
zbMath0940.68051MaRDI QIDQ4251914
Werner Damm, Amir Pnueli, Sitvanit Ruah
Publication date: 17 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
NuMDG: a new tool for multiway decision graphs construction ⋮ Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols ⋮ A New Approach for the Construction of Multiway Decision Graphs
This page was built for publication:
