Articles

• 15 February 2019 /

  Boolean Lifting Properties for Bounded Distributive Lattices

   
•  

• 15 February 2019 /

  Non-Deterministic Finite Cover Automata

   
•  

• 15 February 2019 /

  Verification and Validation of Formal Data-Centric Business Models

   
•  

• 15 February 2019 /

  The Consistency and Complexity of Multiplicative Additive System Virtual

   
•  

• 15 February 2019

  Probabilistic Thread Algebra

   

• 15 February 2019

  Formations of Monoids, Congruences, and Formal Languages

   

• 15 February 2019

  A Grand Master of Discrete Mathematics

   

• 15 February 2019

  Errata to „Formations of Monoids, Congruences, and Formal Languages”

   

• 15 February 2019

  Faithful Modeling of Product Lines with Kripke Structures and Modal Logic

   

• 15 February 2019

  Formal Analysis of Android’s Permission-Based Security Model