Bernd-Holger Schlingloff

Available identifiers

zbMath Open schlingloff.bernd-holgerDBLP67/4707WikidataQ102848226 ScholiaQ102848226MaRDI QIDQ2077758

List of research outcomes

Publication	Date of Publication	Type
Formal methods for software engineering. Languages, methods, application domains. With a foreword by Manfred Broy and a contribution on the origins and development of formal methods by John V. Tucker	2022-02-21	Paper
https://portal.mardi4nfdi.de/entity/Q4583844	2018-09-03	Paper
Monitoring with Parametrized Extended Life Sequence Charts	2018-01-05	Paper
Recent Trends in Algebraic Development Techniques	2005-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q4437061	2003-12-07	Paper
https://portal.mardi4nfdi.de/entity/Q2757841	2001-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2751376	2001-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4250360	2000-02-01	Paper
Expressive completeness of temporal logic of trees	1994-06-22	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bernd-Holger Schlingloff