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 proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publication6th International Workshop on Compiler Optimization Meets Compiler Verification
Publisher.
Pages6-20
Publication statusPublished - 2007

Cite this

Bloem, R. P., Galler, S., Jobstmann, B., Piterman, N., Pnueli, A., & Weiglhofer, M. (2007). Specify, Compile, Run: Hardware from PSL. In 6th International Workshop on Compiler Optimization Meets Compiler Verification (pp. 6-20). ..

Specify, Compile, Run: Hardware from PSL. / Bloem, Roderick Paul; Galler, Stefan; Jobstmann, Barbara; Piterman, Nir; Pnueli, Amir; Weiglhofer, Martin.

6th International Workshop on Compiler Optimization Meets Compiler Verification. ., 2007. p. 6-20.

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Bloem, RP, Galler, S, Jobstmann, B, Piterman, N, Pnueli, A & Weiglhofer, M 2007, Specify, Compile, Run: Hardware from PSL. in 6th International Workshop on Compiler Optimization Meets Compiler Verification. ., pp. 6-20.
Bloem RP, Galler S, Jobstmann B, Piterman N, Pnueli A, Weiglhofer M. Specify, Compile, Run: Hardware from PSL. In 6th International Workshop on Compiler Optimization Meets Compiler Verification. . 2007. p. 6-20
Bloem, Roderick Paul ; Galler, Stefan ; Jobstmann, Barbara ; Piterman, Nir ; Pnueli, Amir ; Weiglhofer, Martin. / Specify, Compile, Run: Hardware from PSL. 6th International Workshop on Compiler Optimization Meets Compiler Verification. ., 2007. pp. 6-20
@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 = ".",

}

TY - GEN

T1 - Specify, Compile, Run: Hardware from PSL

AU - Bloem, Roderick Paul

AU - Galler, Stefan

AU - Jobstmann, Barbara

AU - Piterman, Nir

AU - Pnueli, Amir

AU - Weiglhofer, Martin

PY - 2007

Y1 - 2007

M3 - Conference contribution

SP - 6

EP - 20

BT - 6th International Workshop on Compiler Optimization Meets Compiler Verification

PB - .

ER -