Assessing the value of incomplete deadlock verification in Model-Driven Engineering.

Felix Cammaerts, Monique Snoeck

Browse the full ER paper archive.