Checking for language inclusion using simulation preorders
From MaRDI portal
Publication:6493543
DOI10.1007/3-540-55179-4_25MaRDI QIDQ6493543
Howard Wong-Toi, David L. Dill, Alan J. Hu
Publication date: 29 April 2024
This page was built for publication: Checking for language inclusion using simulation preorders