@inproceedings{JGW+07,
title = {Anzu: A Tool for Property Synthesis },
author = {Jobstmann, Barbara and Galler, Stefan J. and Weiglhofer, Martin and Bloem, Roderick},
year = {2007},
booktitle = {Computer Aided Verification, 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings},
pages = {258-262},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4590},
team = {DCS},
}
