Aspects of Semantics and Verification of Monitors

Aspects of Semantics and Verification of Monitors

Authors
S. Gjessing