scientific article

zbMath0974.94033MaRDI QIDQ2754082

Felix Klaedtke, Abdelwaheb Ayari, David A. Basin

Publication date: 11 November 2001

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Complexity of fixed-size bit-vector logics