Wolfgang Grieskamp

From MaRDI portal
Person:175407

Available identifiers

zbMath Open grieskamp.wolfgangMaRDI QIDQ175407

List of research outcomes





PublicationDate of PublicationType
Reasoning about vectors: satisfiability modulo a theory of sequences2023-10-24Paper
Reasoning about vectors using an SMT theory of sequences2022-12-07Paper
https://portal.mardi4nfdi.de/entity/Q44313402003-10-21Paper
https://portal.mardi4nfdi.de/entity/Q44136992003-07-21Paper
https://portal.mardi4nfdi.de/entity/Q27670062002-06-30Paper
https://portal.mardi4nfdi.de/entity/Q44942472001-07-09Paper
Specifying embedded systems with statecharts and Z: An agenda for cyclic software components2001-04-24Paper

Research outcomes over time

This page was built for person: Wolfgang Grieskamp

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