Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Eric Vecchié, Robert de Simone. Syntax-driven optimisations for reachable state space construction of ESTEREL programs. IJES, 2(3/4):228-238, 2006. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Syntax-Driven Reachable State Space Construction of Synchronous Reactive ProgramsEric Vecchié, Robert de Simone. cav 2005: 213-225 [doi] Syntax-driven Behavior Partitioning for Model-checking of Esterel ProgramsEric Vecchié, Robert de Simone. ENTCS, 153(4):19-35, 2006. [doi]
The following publications are possibly variants of this publication: