Back to Results
First PageMeta Content
Mathematical logic / Predicate logic / Mathematics / Logic / Predicate variable / Scope / Atomic sentence / FO / First-order logic / Variable / Structured text / Assignment


Predicate Abstraction for Programmable Logic Controllers Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Embedded Software Laboratory, RWTH Aachen University, Germany Abstract. In this paper, we present a predic
Add to Reading List

Document Date: 2018-05-10 06:54:27


Open Document

File Size: 446,37 KB

Share Result on Facebook