![](/img/cover-not-exists.png)
[ACM Press Companion to the 22nd ACM SIGPLAN conference - Montreal, Quebec, Canada (2007.10.21-2007.10.25)] Companion to the 22nd ACM SIGPLAN conference on Object oriented programming systems and applications companion - OOPSLA '07 - Synthesizing reactive systems from LSC requirements using the play-engine
Kugler, Hillel, Plock, Cory, Pnueli, AmirYear:
2007
Language:
english
DOI:
10.1145/1297846.1297895
File:
PDF, 562 KB
english, 2007