ISSE

Search

Specification and Verification of Distributed Technical Systems with Central Control

G. Schellhorn and A. Burandt

Specification and Verification of Distributed Technical Systems with Central Control

published 1994 C. Lewerentz and T. Lindner, editors, Formal Development of Reactive Systems

Publisher: Springer LNCS 891