Refinement and Consistency of Timed Modal Specifications.

Nathalie Bertrand, Sophie Pinchinat, Jean-Baptiste Raclet

Browse the full LATA paper archive.