Franck Cassez, Olivier Roux. Compilation of the ELECTRE Reactive Language into Finite Transition Systems. Theoretical Computer Science, 146(1&2):109-143, 1995. [doi]
No references recorded for this publication.
No citations of this publication recorded.