%0 Conference Paper %1 conf/iscis/HieronsT15 %A Hierons, Robert M. %A Türker, Uraz Cengiz %B ISCIS %D 2015 %E Abdelrahman, Omer H. %E Gelenbe, Erol %E Görbil, Gökçe %E Lent, Ricardo %I Springer %K dblp %P 171-179 %T Generating Minimum Height ADSs for Partially Specified Finite State Machines. %U http://dblp.uni-trier.de/db/conf/iscis/iscis2015.html#HieronsT15 %V 363 %@ 978-3-319-22634-7

@inproceedings{conf/iscis/HieronsT15, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hierons, Robert M. and Türker, Uraz Cengiz}, biburl = {https://www.bibsonomy.org/bibtex/2e68665487af9b3faf3a8ddbc9ac74817/dblp}, booktitle = {ISCIS}, crossref = {conf/iscis/2015}, editor = {Abdelrahman, Omer H. and Gelenbe, Erol and Görbil, Gökçe and Lent, Ricardo}, ee = {https://doi.org/10.1007/978-3-319-22635-4_15}, interhash = {829fc0f31728aae5a8d268b2ce92729f}, intrahash = {e68665487af9b3faf3a8ddbc9ac74817}, isbn = {978-3-319-22634-7}, keywords = {dblp}, pages = {171-179}, publisher = {Springer}, series = {Lecture Notes in Electrical Engineering}, timestamp = {2020-09-09T13:55:49.000+0200}, title = {Generating Minimum Height ADSs for Partially Specified Finite State Machines.}, url = {http://dblp.uni-trier.de/db/conf/iscis/iscis2015.html#HieronsT15}, volume = 363, year = 2015 }