DMCA

Feature interaction detection by pairwise analysis of LTL properties -- a case study (2006)

by Muffy Calder , Alice Miller
Venue:FORMAL METHODS IN SYSTEM DESIGN
Citations:19 - 1 self