%0 Conference Paper %1 conf/modelsward/KushikYY16 %A Kushik, Natalia %A Yevtushenko, Nina %A Yenigün, Hüsnü %B AMARETTO@MODELSWARD %D 2016 %E Calabrò, Antonello %E Lonetti, Francesca %E Marchetti, Eda %I SciTePress %K dblp %P 83-90 %T Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs. %U http://dblp.uni-trier.de/db/conf/modelsward/amaretto2016.html#KushikYY16 %@ 978-989-758-166-3

@inproceedings{conf/modelsward/KushikYY16, added-at = {2022-02-15T00:00:00.000+0100}, author = {Kushik, Natalia and Yevtushenko, Nina and Yenigün, Hüsnü}, biburl = {https://www.bibsonomy.org/bibtex/2936d28df8e0d7c2a07684e7aba7e2762/dblp}, booktitle = {AMARETTO@MODELSWARD}, crossref = {conf/modelsward/2016amaretto}, editor = {Calabrò, Antonello and Lonetti, Francesca and Marchetti, Eda}, ee = {https://doi.org/10.5220/0005854500830090}, interhash = {159a65506d733f0341cf7f045a75787c}, intrahash = {936d28df8e0d7c2a07684e7aba7e2762}, isbn = {978-989-758-166-3}, keywords = {dblp}, pages = {83-90}, publisher = {SciTePress}, timestamp = {2024-04-10T03:54:00.000+0200}, title = {Reducing the Complexity of Checking the Existence and Derivation of Adaptive Synchronizing Experiments for Nondeterministic FSMs.}, url = {http://dblp.uni-trier.de/db/conf/modelsward/amaretto2016.html#KushikYY16}, year = 2016 }