%0 Journal Article %1 journals/fac/CasselHJS16 %A Cassel, Sofia %A Howar, Falk %A Jonsson, Bengt %A Steffen, Bernhard %D 2016 %J Formal Asp. Comput. %K %N 2 %P 233-263 %T Active learning for extended finite state machines. %U http://dblp.uni-trier.de/db/journals/fac/fac28.html#CasselHJS16 %V 28

@article{journals/fac/CasselHJS16, added-at = {2023-12-13T08:50:32.000+0100}, author = {Cassel, Sofia and Howar, Falk and Jonsson, Bengt and Steffen, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/2aa24bf418de8f0077af8c900a3ed77ad/admin}, ee = {http://dx.doi.org/10.1007/s00165-016-0355-5}, interhash = {c80c1da6299edd8f2448f9c8266463aa}, intrahash = {aa24bf418de8f0077af8c900a3ed77ad}, journal = {Formal Asp. Comput.}, keywords = {}, number = 2, pages = {233-263}, timestamp = {2023-12-13T08:50:32.000+0100}, title = {Active learning for extended finite state machines.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac28.html#CasselHJS16}, volume = 28, year = 2016 }