scientific article; zbMATH DE number 1277257
From MaRDI portal
Publication:4239073
zbMath0914.68135MaRDI QIDQ4239073
Publication date: 20 April 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (3)
Mechanizing a process algebra for network protocols ⋮ A Formalized Theory for Verifying Stability and Convergence of Automata in PVS ⋮ Translation Templates to Support Strategy Development in PVS
Uses Software
This page was built for publication: