Synthesizing State-Based Object Systems from LSC Specifications (2000)

by David Harel , Hillel Kugler
Citations:90 - 22 self