Peter Ochsenschläger

Available identifiers

zbMath Open ochsenschlager.peterMaRDI QIDQ673347

List of research outcomes

Publication	Date of Publication	Type
Abstractions Preserving Parameter Confidentiality	2022-03-09	Paper
Abstraction and composition: a verification method for co-operating systems	2002-12-04	Paper
The sh-verification tool -- abstraction-based verification of co-operating systems	1999-07-26	Paper
Approximately satisfied properties of systems and simple language homomorphisms	1997-02-28	Paper
https://portal.mardi4nfdi.de/entity/Q5691265	1997-01-27	Paper
On termination and phase changes in the presence of unreliable communication	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3339298	1984-01-01	Paper

Research outcomes over time

This page was built for person: Peter Ochsenschläger