A Workbench for PreProcessor Design and Evaulation: toward Benchmarks for Parity Games

Huth, M.; Piterman, N.; Wang, H.

A Workbench for PreProcessor Design and Evaulation: toward Benchmarks for Parity Games (bibtex)

@Workshop{HPW09a,
  author = 	 {M. Huth and N. Piterman and H. Wang},
  title = 	 {A Workbench for PreProcessor Design and Evaulation: toward Benchmarks for Parity Games},
  booktitle = {9th International Workshop on Automated Verification of Critical Systems},
  year = 	 {2009},
  volume = 	 {23},
  series = 	 {Electronic Communications of the EASST},
  publisher = {EASST},
  url = {2009/HPW09b.html},
  pdf = {2009/HPW09b.pdf},
  keywords = {Games},
}