Concurrency, Specification and ProgrammingHolger Schlingloff, Thomas Vogel, Andrzej Skowron · First published 2023Open the Tome
Software Engineering and Formal MethodsHolger Schlingloff, Ming Chai · First published 2023Open the Tome
Formal Methods for Software EngineeringMarkus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh · First published 2020Open the Tome
Tum Institut für Informatik zur temporalen Logik von BäumenBernd-Holger Schlingloff · First published 1990Open the Tome
