Integrating UML Activity Diagrams with Temporal Logic Expressions.

Joo Arajo, Ana Moreira

Browse the full EMMSAD paper archive.