Marko Kääramees, Jüri Vain, Kullo Raiend. Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. In Leonardo Bottaci, Gordon Fraser, editors, Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings. Volume 6303 of Lecture Notes in Computer Science, pages 147-154, Springer, 2010. [doi]
@inproceedings{KaarameesVR10,
title = {Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models},
author = {Marko Kääramees and Jüri Vain and Kullo Raiend},
year = {2010},
doi = {10.1007/978-3-642-15585-7_14},
url = {http://dx.doi.org/10.1007/978-3-642-15585-7_14},
researchr = {https://researchr.org/publication/KaarameesVR10},
cites = {0},
citedby = {0},
pages = {147-154},
booktitle = {Testing - Practice and Research Techniques, 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings},
editor = {Leonardo Bottaci and Gordon Fraser},
volume = {6303},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-15584-0},
}