Specify, Compile, Run: Hardware from PSL

Bloem, R.; Galler, S.; Jobstmann, B.; Piterman, N.; Pnueli, A.; Weiglhofer, M.

Specify, Compile, Run: Hardware from PSL (bibtex)

@string{entcs="Electronic Notes in Theoretical Computer Science"}
@InProceedings{BGJPPW07b,
  author = 	 {R. Bloem and S. Galler and B. Jobstmann and N. Piterman and A. Pnueli and M. Weiglhofer},
  title = 	 {Specify, Compile, Run: Hardware from PSL},
  booktitle = {6th International Workshop on Compiler Optimization Meets 
Compiler Verification},
  pages = 	 {3--16},
  year = 	 {2007},
  volume = 	 {190},
  number =       {4},  
  series = 	 entcs,
  pdf = {2007/BGJPPW07a.pdf},
  url = {2007/BGJPPW07a.html},
  keywords = {Synthesis},
}