Advanced Ramsey-Based Büchi Automata Inclusion Testing

From MaRDI portal
Revision as of 21:48, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3090830

DOI10.1007/978-3-642-23217-6_13zbMath1343.68130OpenAlexW2148195254MaRDI QIDQ3090830

Chih-Duo Hong, Yu-Fang Chen, Lukáš Holík, Lorenzo Clemente, Tomáš Vojnar, Richard Mayr, Parosh Aziz Abdulla

Publication date: 2 September 2011

Published in: CONCUR 2011 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-23217-6_13




Related Items (10)


Uses Software



Cites Work




This page was built for publication: Advanced Ramsey-Based Büchi Automata Inclusion Testing