Skip to content Skip to footer

Research Portal of the TU Dresden

Correction to: From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata (Innovations in Systems and Software Engineering, (2022), 18, 3, (385-403), 10.1007/s11334-022-00445-7)

Research output: Contribution to specialist publication › Corrections (errata and retractions) › peer-review

Contributors

Tobias John - , TUD Dresden University of Technology (Author)
Simon Jantsch - , Chair of Algebraic and Logical Foundations of Computer Science (Author)
Christel Baier - , Chair of Algebraic and Logical Foundations of Computer Science (Author)
Sascha Klüppelholz - , Chair of Algebraic and Logical Foundations of Computer Science (Author)

Abstract

In the original publication of the article, the following corrections have been updated.

Details

Original language	English
Pages	227-229
Number of pages	3
Volume	19
Issue number	2
Journal	Innovations in Systems and Software Engineering
Publication status	Published - Jun 2023
Peer-reviewed	Yes

No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.ContributionToPeriodical

Keywords

ASJC Scopus subject areas

Software

Related content

Research output

From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata

John, T., Jantsch, S., Baier, C. & Klüppelholz, S., 9 Apr 2022, In: Innovations in Systems and Software Engineering. 18, 3, p. 385–403 19 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

View all research output (1)