Generating Minimum Height ADSs for Partially Specified Finite State Machines

Robert M. Hierons, Uraz Cengiz Türker. Generating Minimum Height ADSs for Partially Specified Finite State Machines. In Omer H. Abdelrahman, Erol Gelenbe, Gökçe Görbil, Ricardo Lent, editors, Information Sciences and Systems 2015 - 30th International Symposium on Computer and Information Sciences (ISCIS 2015), London, UK, 21-24 September 2015. Volume 363 of Lecture Notes in Electrical Engineering, pages 171-179, Springer, 2015. [doi]

Abstract

Abstract is missing.