Anzu: A Tool for Property Synthesis

Barbara Jobstmann, Stefan Galler, Martin Weiglhofer, Roderick Paul Bloem

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

Original languageEnglish
Title of host publicationProceedings of the 19th International Conference of Computer Aided Verification 2007
Publisher.
Pages258-262
ISBN (Print)978-3-540-73367-6
Publication statusPublished - 2007

Treatment code (Nähere Zuordnung)

  • Application

Cite this

Jobstmann, B., Galler, S., Weiglhofer, M., & Bloem, R. P. (2007). Anzu: A Tool for Property Synthesis. In Proceedings of the 19th International Conference of Computer Aided Verification 2007 (pp. 258-262). ..

Anzu: A Tool for Property Synthesis. / Jobstmann, Barbara; Galler, Stefan; Weiglhofer, Martin; Bloem, Roderick Paul.

Proceedings of the 19th International Conference of Computer Aided Verification 2007. ., 2007. p. 258-262.

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

Jobstmann, B, Galler, S, Weiglhofer, M & Bloem, RP 2007, Anzu: A Tool for Property Synthesis. in Proceedings of the 19th International Conference of Computer Aided Verification 2007. ., pp. 258-262.
Jobstmann B, Galler S, Weiglhofer M, Bloem RP. Anzu: A Tool for Property Synthesis. In Proceedings of the 19th International Conference of Computer Aided Verification 2007. . 2007. p. 258-262
Jobstmann, Barbara ; Galler, Stefan ; Weiglhofer, Martin ; Bloem, Roderick Paul. / Anzu: A Tool for Property Synthesis. Proceedings of the 19th International Conference of Computer Aided Verification 2007. ., 2007. pp. 258-262
@inproceedings{8c68e29c7bac4f279771d2703d3bd5cd,
title = "Anzu: A Tool for Property Synthesis",
author = "Barbara Jobstmann and Stefan Galler and Martin Weiglhofer and Bloem, {Roderick Paul}",
year = "2007",
language = "English",
isbn = "978-3-540-73367-6",
pages = "258--262",
booktitle = "Proceedings of the 19th International Conference of Computer Aided Verification 2007",
publisher = ".",

}

TY - GEN

T1 - Anzu: A Tool for Property Synthesis

AU - Jobstmann, Barbara

AU - Galler, Stefan

AU - Weiglhofer, Martin

AU - Bloem, Roderick Paul

PY - 2007

Y1 - 2007

M3 - Conference contribution

SN - 978-3-540-73367-6

SP - 258

EP - 262

BT - Proceedings of the 19th International Conference of Computer Aided Verification 2007

PB - .

ER -