Formal Methods in System Design, Volume 28
Volume 28, Number 1, January 2006
Volume 28, Number 2, March 2006
Special Issue on Formal Methods for Globally Asynchronous and Locally Synchronous (GALS) Systems
Volume 28, Number 3, May 2006
, Alice Miller
: Feature interaction detection by pairwise analysis of LTL properties - A case study.