Richiedi una copia del documento: Which Fragments of the Interval Temporal Logic HS are Tractable in Model Checking?

Captcha code
Annulla