BibTeX record conf/taicpart/KaarameesVR10

download as .bib file

@inproceedings{DBLP:conf/taicpart/KaarameesVR10,
  author       = {Marko K{\"{a}}{\"{a}}ramees and
                  J{\"{u}}ri Vain and
                  Kullo Raiend},
  editor       = {Leonardo Bottaci and
                  Gordon Fraser},
  title        = {Synthesis of On-Line Planning Tester for Non-deterministic {EFSM}
                  Models},
  booktitle    = {Testing - Practice and Research Techniques, 5th International Academic
                  and Industrial Conference, {TAIC} {PART} 2010, Windsor, UK, September
                  3-5, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6303},
  pages        = {147--154},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15585-7\_14},
  doi          = {10.1007/978-3-642-15585-7\_14},
  timestamp    = {Mon, 23 Nov 2020 12:33:09 +0100},
  biburl       = {https://dblp.org/rec/conf/taicpart/KaarameesVR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}