scientific article; zbMATH DE number 3514944
From MaRDI portal
Publication:4094352
zbMath0328.68006MaRDI QIDQ4094352
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic ⋮ Process logic with regular formulas
This page was built for publication: