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

by David Harel , Hillel Kugler
Citations:83 - 23 self