Report copyright - Compensations and Runtime Monitoringsvrg/Presentations/SYNCHRON09-rv-compensa… · Petri net based Language-based approaches Deontic logics. Semantics & Verification Research Group
Please pass captcha verification before submit form