@inproceedings{inproceedings, title = {{Generating Minimum Height ADSs for Partially Specified Finite State Machines}}, publisher = {{Springer International Publishing}}, url = {{}}, year = {{2015}}, month = {{1}}, author = {{Hierons RM and Türker UC}}, doi = {{10.1007/978-3-319-22635-4_15}}, isbn = {{9783319226347}}, pages = {{171-179}}, note = {{Accessed on 2024/12/22}}}