scientific article
From MaRDI portal
Publication:2753711
zbMath0976.68579MaRDI QIDQ2753711
Robert Eschbach, Uwe Glässer, R. Gotzhein, Andreas Prinz
Publication date: 11 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Computing methodologies and applications (68U99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
This page was built for publication:
