I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Publications - Rewriting Models of Boolean Programs

Reference:

A. Bouajjani and J. Esparza. Rewriting models of boolean programs. In Proceedings of RTA 2006, Seattle, USA, 2006.

Suggested BibTeX entry:

@inproceedings{BE06,
    address = {Seattle, USA},
    author = {A. Bouajjani and J. Esparza},
    booktitle = {Proceedings of RTA 2006},
    title = {Rewriting Models of Boolean Programs},
    year = {2006}
}

GZipped PostScript (44 kB)
PDF (79 kB)
Tech report version