Component refinement and CSC-solving for STG decomposition
From MaRDI portal
Publication:2464945
DOI10.1016/j.tcs.2007.08.005zbMath1143.68055OpenAlexW2143289234MaRDI QIDQ2464945
Publication date: 18 December 2007
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2007.08.005
Related Items (3)
A linear-time branching-time perspective on interface automata ⋮ Projection approaches to process mining using region-based techniques ⋮ Richer interface automata with optimistic and pessimistic compatibility
Uses Software
Cites Work
This page was built for publication: Component refinement and CSC-solving for STG decomposition