Oxford logo
[ZRK03] B. Zoubek, J.-M. Roussel and M. Kwiatkowska. Towards automatic verification of ladder logic programs. In Proc. IMACS Multiconference on Computational Engineering in Systems Applications (CESA). 2003. [pdf] [bib]
Downloads:  pdf pdf (187 KB)  bib bib
Links: [Google] [Google Scholar] [CiteSeer]

QAV:

>  Home

>  People

>  Projects

>  Publications