scientific article
From MaRDI portal
Publication:3907056
zbMath0457.68026MaRDI QIDQ3907056
Peter E. Lauer, Michael Shields
Publication date: 1979
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
Transforming sequential systems into concurrent systems ⋮ Step failures semantics and a complete proof system
This page was built for publication: