External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Predicate Abstraction for Programmable Logic Controllers

Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski. Predicate Abstraction for Programmable Logic Controllers. In Charles Pecheur, Michael Dierkes, editors, Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings. Volume 8187 of Lecture Notes in Computer Science, pages 123-138, Springer, 2013. [doi]

Authors

Sebastian Biallas

This author has not been identified. Look up 'Sebastian Biallas' in Google

Mirco Giacobbe

This author has not been identified. Look up 'Mirco Giacobbe' in Google

Stefan Kowalewski

This author has not been identified. Look up 'Stefan Kowalewski' in Google
runs on