Crossmark

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

Crossref DOI link: https://doi.org/10.1007/s11334-022-00459-1

Published Online: 2023-03-02

Published Print: 2023-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

John, Tobias https://orcid.org/0000-0001-5855-6632
Jantsch, Simon https://orcid.org/0000-0003-1692-2408
Baier, Christel https://orcid.org/0000-0002-5321-9343
Klüppelholz, Sascha https://orcid.org/0000-0003-1724-2586
License Information

Text and Data Mining valid from 2023-03-02

Version of Record valid from 2023-03-02
More Information

Article History

First Online: 2 March 2023