Ulrich Nitsche

From MaRDI portal
Person:673346

Available identifiers

zbMath Open nitsche.ulrichMaRDI QIDQ673346

List of research outcomes





PublicationDate of PublicationType
Relative liveness and behavior abstraction (extended abstract)2017-09-29Paper
https://portal.mardi4nfdi.de/entity/Q54859672006-09-06Paper
https://portal.mardi4nfdi.de/entity/Q45011572000-09-03Paper
The sh-verification tool -- abstraction-based verification of co-operating systems1999-07-26Paper
https://portal.mardi4nfdi.de/entity/Q43760681998-05-17Paper
Approximately satisfied properties of systems and simple language homomorphisms1997-02-28Paper

Research outcomes over time

This page was built for person: Ulrich Nitsche

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:673346&oldid=10933004"
Powered by MediaWiki