Generation of Safety and Liveness Complaint Automata from Goal Model Specifications.

Novarun Deb, Mandira Roy, Nabendu Chaki, Agostino Cortesi

Browse the full EDCC paper archive.