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

QAV:

Home

People

Projects

Publications