Michaela Huhn

From MaRDI portal
Person:4229095

Available identifiers

zbMath Open huhn.michaelaMaRDI QIDQ4229095

List of research outcomes





PublicationDate of PublicationType
Action refinement and property inheritance in systems of sequential agents2023-06-28Paper
Towards automata for branching time and partial order2023-06-28Paper
Semantic foundation and validation of live activity diagrams2016-07-20Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-09-28Paper
https://portal.mardi4nfdi.de/entity/Q47912712003-02-06Paper
https://portal.mardi4nfdi.de/entity/Q42607091999-09-01Paper
https://portal.mardi4nfdi.de/entity/Q42290961999-03-03Paper

Research outcomes over time

This page was built for person: Michaela Huhn

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