ISSE

Search

Specification and Verification of Distributed Technical Systems with Central Control

G. Schellhorn

Specification and Verification of Distributed Technical Systems with Central Control

published 1995 in: Fakultät für Informatik, Universität Karlsruhe, Germany Technical report