Algebraic Temporal Specifications with Extended TUS. Hierarchical Granular Terms and Their Applications.

Maroua Bouzid, Antoni Ligeza

Browse the full ICTAI paper archive.