Optimizing Hierarchical, Concurrent State Machines in Umple for Model Checking.

Opeyemi Adesina, Timothy C. Lethbridge, Stphane S. Som

Browse the full MODELS paper archive.