Monitoring Realizability

Ehlers, Rüdiger and Finkbeiner, Bernd
(2012) Monitoring Realizability.
In: Proceedings of the Second International Conference on Runtime Verification (RV'11).
Conference: None | Not Set

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item