1992
Conference Proceeding
Title

Logics for distributed systems

Title Supplement
Summary of a workshop. Bonn, March 1992
Editor(s)
Goltz, U.
Reisig, W.
Publisher
Publishing Place
Sankt Augustin
Conference
Language
English