Smart play-out extended: Time and forbidden elements
- David Harel
- , Hillel Kugler
- , Amir Pnueli
- Weizmann Institute of Science
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
13
Scopus
citations