Branching Automata with Costs — A Way of Reflecting Parallelism in Costs
From MaRDI portal
Publication:3559789
DOI10.1007/3-540-45089-0_15zbMath1279.68162OpenAlexW1521667044MaRDI QIDQ3559789
Ingmar Meinecke, Dietrich Kuske
Publication date: 7 May 2010
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45089-0_15
Related Items
This page was built for publication: Branching Automata with Costs — A Way of Reflecting Parallelism in Costs