|
|||||
|
|
Specify, Compile, Run: Hardware from PSL |
|
| Authors: | Roderick Bloem Stefan Galler Barbara Jobstmann Nir Piterman Amir Pnueli Martin Weiglhofer |
| Affiliation: | 1Graz University of Technology 2EPFL Lausanne 3Weizmann Institute |
| Abstract: | |
| Keywords: | temporal logic synthesis games binary decision diagrams |
| 本文献已被 ScienceDirect 等数据库收录！ | |