Annette Stümpel

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Deriving State-Based Implementations of Interactive Components with History Abstractions
Perspectives of Systems Informatics
2010-02-02Paper
Implementing Services by Partial State Machines
Lecture Notes in Computer Science
2009-02-03Paper
Extending the Service Domain of an Interactive Bounded Queue
Lecture Notes in Electrical Engineering
2009-01-07Paper


Research outcomes over time


This page was built for person: Annette Stümpel