Reducing the Time Complexity of Testing for Local Threshold Testability
From MaRDI portal
Publication:3559782
DOI10.1007/3-540-45089-0_14zbMath1279.68178OpenAlexW1520778116MaRDI QIDQ3559782
Publication date: 7 May 2010
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-45089-0_14
Related Items
Uses Software