Specify, Compile, Run: Hardware from PSL

Roderick Paul Bloem, Stefan Galler, Barbara Jobstmann, Nir Piterman, Amir Pnueli, Martin Weiglhofer

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	6th International Workshop on Compiler Optimization Meets Compiler Verification
Publisher	.
Pages	6-20
Publication status	Published - 2007

Cite this

@inproceedings{a9c658b7f0ed4f66b244c3a06935b3ea,

title = "Specify, Compile, Run: Hardware from PSL",

author = "Bloem, {Roderick Paul} and Stefan Galler and Barbara Jobstmann and Nir Piterman and Amir Pnueli and Martin Weiglhofer",

year = "2007",

language = "English",

pages = "6--20",

booktitle = "6th International Workshop on Compiler Optimization Meets Compiler Verification",

publisher = ".",

}