bibtex

@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},
}


Contact | Site Map | Site powered by SPIP 4.2.8 + AHUNTSIC [CC License]

info visites 3902342