Predicate abstraction for programmable logic controllers

S. Biallas, M. Giacobbe, S. Kowalewski

Research output: Book/Report › Book

Access to Document

TY - BOOK

T1 - Predicate abstraction for programmable logic controllers

AU - Biallas, S.

AU - Giacobbe, M.

AU - Kowalewski, S.

PY - 2013

Y1 - 2013

UR - http://www.scopus.com/inward/record.url?eid=2-s2.0-84892932721&partnerID=MN8TOARS

U2 - 10.1007/978-3-642-41010-9_9

DO - 10.1007/978-3-642-41010-9_9

M3 - Book

BT - Predicate abstraction for programmable logic controllers

ER -