BDDs Strike Back

Lecture notes in computer science, pp. 713–732

Authors 5

1. Daniel Basgöze Aachen Software Modeling and Verification

   RWTH Aachen University

   Affiliation as printed

   Software Modeling and Verification, RWTH Aachen University, Aachen, Germany

2. Matthias Volk corresponding

   University of Twente

   Affiliation as printed

   Formal Methods and Tools, University of Twente, Enschede, The Netherlands

3. Joost-Pieter Katoen Aachen Software Modeling and Verification

   RWTH Aachen University · University of Twente

   Affiliation as printed

   Formal Methods and Tools, University of Twente, Enschede, The Netherlands

   Software Modeling and Verification, RWTH Aachen University, Aachen, Germany

4. Shahid Ali Khan Aachen Software Modeling and Verification

   RWTH Aachen University

   Affiliation as printed

   Software Modeling and Verification, RWTH Aachen University, Aachen, Germany

5. Mariëlle I. A. Stoelinga

   Radboud University Nijmegen · University of Twente

   Affiliation as printed

   Department of Software Science, Radboud University, Nijmegen, The Netherlands

   Formal Methods and Tools, University of Twente, Enschede, The Netherlands