Efficient State Space Reduction for Automata by Fair Simulation

DOI10.1007/978-3-540-75698-9_25zbMath1141.68442OpenAlexW4241386458MaRDI QIDQ3508542

Wen-Hui Zhang, Jin Yi

Publication date: 1 July 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75698-9_25

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

This page was built for publication: Efficient State Space Reduction for Automata by Fair Simulation