Automated Support for Building Behavioral Models of Event-Driven Systems.

Benet Devereux, Marsha Chechik

Browse the full FASE paper archive.