Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Roland Glück
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Towards a Tool-Based Methodology for Developing Software for Dynamic Robot Teams
Related publications
Programmable Logic Controllers
Greedy-Like Algorithms in Modal Kleene Algebra
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Logic Controllers Dependability Verification Using a Plant Model
IFAC Proceedings Volumes
Evaluation of a Business Continuity Plan Using Process Algebra and Modal Logic
Kleene Algebra With Hypotheses
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Certification of Compiler Optimizations Using Kleene Algebra With Tests
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Programmable Controllers
Programmable Controllers
Programmable Controllers
