scientific article
From MaRDI portal
Publication:3992529
zbMath0673.68002MaRDI QIDQ3992529
M. Goessel, Burghard Rebel, Reiner Creutzburg
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Theory of operating systems (68N25)
This page was built for publication: