%0 Journal Article %1 journals/tosem/HieronsT17 %A Hierons, Robert M. %A Türker, Uraz Cengiz %D 2017 %J ACM Trans. Softw. Eng. Methodol. %K dblp %N 1 %P 5:1-5:34 %T Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs. %U http://dblp.uni-trier.de/db/journals/tosem/tosem26.html#HieronsT17 %V 26

@article{journals/tosem/HieronsT17, added-at = {2020-09-05T00:00:00.000+0200}, author = {Hierons, Robert M. and Türker, Uraz Cengiz}, biburl = {https://www.bibsonomy.org/bibtex/28f3c034d765ecf63c709c446c53257f0/dblp}, ee = {https://doi.org/10.1145/3051121}, interhash = {27b4fc0c1f8dc8ad4215289d9efc3856}, intrahash = {8f3c034d765ecf63c709c446c53257f0}, journal = {ACM Trans. Softw. Eng. Methodol.}, keywords = {dblp}, number = 1, pages = {5:1-5:34}, timestamp = {2020-09-09T12:55:17.000+0200}, title = {Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs.}, url = {http://dblp.uni-trier.de/db/journals/tosem/tosem26.html#HieronsT17}, volume = 26, year = 2017 }