2-testability and relabelings produce everything
From MaRDI portal
Publication:1271607
DOI10.1006/jcss.1997.1548zbMath0936.68060OpenAlexW2016772775MaRDI QIDQ1271607
Publication date: 18 May 2000
Published in: Journal of Computer and System Sciences (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/423f2d60ed8d79c1d0abac1a34e1732d46dd872a
Related Items (1)
Cites Work
This page was built for publication: 2-testability and relabelings produce everything