BibSLEIGH — lsc stem

Used together with:

base (3)
state (2)
specif (2)
object (2)
synthes (2)

Stem lsc$ (all stems)

FASE-2009-KuglerPP #requirements #synthesis: Controller Synthesis from LSC Requirements (HK, CP, AP), pp. 79–93.
PPDP-2009-GuoZS #consistency #named: L2C2: logic-based LSC consistency checking (HFG, WZ, MS), pp. 183–194.
CIAA-J-2000-HarelK02 #object-oriented #specification: Synthesizing State-Based Object Systems from LSC Specifications (DH, HK), pp. 5–51.
CIAA-2000-HarelK #object-oriented #specification: Synthesizing State-Based Object Systems from LSC Specifications (DH, HK), pp. 1–33.