Eric Steegmans

From MaRDI portal
Person:678824

Available identifiers

zbMath Open steegmans.ericMaRDI QIDQ678824

List of research outcomes





PublicationDate of PublicationType
Language Support for Service Interactions in Service-Oriented Architecture2010-12-07Paper
https://portal.mardi4nfdi.de/entity/Q44748552004-07-21Paper
https://portal.mardi4nfdi.de/entity/Q44358602003-11-20Paper
https://portal.mardi4nfdi.de/entity/Q47090602003-06-20Paper
A decision procedure for semantical equivalence of thin FM specifications2000-05-30Paper
https://portal.mardi4nfdi.de/entity/Q48887951999-08-31Paper
Proving semantical equivalence of data specifications1997-07-16Paper
https://portal.mardi4nfdi.de/entity/Q40005191993-01-23Paper
https://portal.mardi4nfdi.de/entity/Q39470931982-01-01Paper

Research outcomes over time

This page was built for person: Eric Steegmans

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