A modular state exploration and compatibility checking of UML dynamic diagrams.

Youcef Hammal

Browse the full AICCSA paper archive.