Specify, Compile, Run: Hardware from PSL

• 作者Roderick Bloem; Stefan Galler; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Martin Weiglhofer
• 卷第190卷
• 期第4期
• 印刷ISSN1571-0661
• 文件大小338.27KB
• 发表时间2007
• DOI10.1016/j.entcs.2007.09.004
• 页码3-16