Wolfgang Jeltsch

From MaRDI portal
Person:338618

Available identifiers

zbMath Open jeltsch.wolfgangMaRDI QIDQ338618

List of research outcomes





PublicationDate of PublicationType
Proofs about Network Communication: For Humans and Machines2024-03-19Paper
https://portal.mardi4nfdi.de/entity/Q49951652021-06-23Paper
Abstract categorical semantics for resourceful functional reactive programming2016-11-07Paper
Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming2016-07-08Paper

Research outcomes over time

This page was built for person: Wolfgang Jeltsch

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