A CSP Timed Input-Output Relation and a Strategy for Mechanised Conformance Verification.

Gustavo Carvalho, Augusto Sampaio, Alexandre Mota

Browse the full ICFEM paper archive.