%0 Conference Paper %1 conf/sofsem/HieronsMTT17 %A Hierons, Robert M. %A Mousavi, Mohammad Reza %A Thomsen, Michael Kirkedal %A Türker, Uraz Cengiz %B SOFSEM %D 2017 %E Steffen, Bernhard %E Baier, Christel %E van den Brand, Mark %E Eder, Johann %E Hinchey, Mike %E Margaria, Tiziana %I Springer %K dblp %P 147-160 %T Hardness of Deriving Invertible Sequences from Finite State Machines. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2017.html#HieronsMTT17 %V 10139 %@ 978-3-319-51962-3

@inproceedings{conf/sofsem/HieronsMTT17, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hierons, Robert M. and Mousavi, Mohammad Reza and Thomsen, Michael Kirkedal and Türker, Uraz Cengiz}, biburl = {https://www.bibsonomy.org/bibtex/2c402fa3c500938fc1799d851ca00c407/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/2017}, editor = {Steffen, Bernhard and Baier, Christel and van den Brand, Mark and Eder, Johann and Hinchey, Mike and Margaria, Tiziana}, ee = {https://doi.org/10.1007/978-3-319-51963-0_12}, interhash = {44f13a2b42540dc6a694ae808e58d7e4}, intrahash = {c402fa3c500938fc1799d851ca00c407}, isbn = {978-3-319-51962-3}, keywords = {dblp}, pages = {147-160}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T01:18:38.000+0200}, title = {Hardness of Deriving Invertible Sequences from Finite State Machines.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2017.html#HieronsMTT17}, volume = 10139, year = 2017 }