Bernd-Holger Schlingloff

No bio available. Add one in Open Library.

Books by Bernd-Holger Schlingloff (50 max)

+ shelf+ list

Formal Methods for Software Engineering Languages, Methods, Application Domains

2020

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

+ shelf+ list

Tum Institut für Informatik zur temporalen Logik von Bäumen

1990

Bernd-Holger Schlingloff