TY - CONF T1 - Generating Minimum Height ADSs for Partially Specified Finite State Machines PY - 2015/01/01 AU - Hierons RM AU - T眉rker UC ED - DO - DOI: 10.1007/978-3-319-22635-4_15 PB - Springer International Publishing SN - 9783319226347 SP - 171 EP - 179 Y2 - 2025/08/21 ER -