Sciweavers

ICSE
1999
IEEE-ACM

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

14 years 3 months ago
Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts
William Chan, Richard J. Anderson, Paul Beame, Dav
Added 04 Aug 2010
Updated 04 Aug 2010
Type Conference
Year 1999
Where ICSE
Authors William Chan, Richard J. Anderson, Paul Beame, David H. Jones, David Notkin, William E. Warner
Comments (0)