Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wolfgang Boehmer
Evaluation of a Business Continuity Plan Using Process Algebra and Modal Logic
Related publications
Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
From Process Logic to Business Logic—A Cognitive Approach to Business Process Management
Information and Management
Information Systems
Management
Management Information Systems
Kleene's Three-Valued Logic and Process Algebra
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Modal Location-Resource-Process Logic for Access Control
Process Algebra for Performance Evaluation
Theoretical Computer Science
Computer Science
Theoretical Computer Science
The Backup Recovery Strategy Selection to Maintain the Business Continuity Plan
MATEC Web of Conferences
Materials Science
Engineering
Chemistry
The Double Continuity of Algebra
ICME-13 Monographs
A String Comparison Approach to Process Logic Differences Between Business Process Models
Dialectical Logic and Boolean Algebra
Journal of Mathematics Research