Verifying a Real-Time Language with Constraints.

Anicet Bart, Charlotte Truchet, ric Monfroy

Browse the full ICTAI paper archive.