BibTeX record conf/tap/GogollaHDD17

• > Home > conf/tap/GogollaHDD17

@inproceedings{DBLP:conf/tap/GogollaHDD17,
  author       = {Martin Gogolla and
                  Frank Hilken and
                  Khanh{-}Hoang Doan and
                  Nisha Desai},
  editor       = {Sebastian Gabmeyer and
                  Einar Broch Johnsen},
  title        = {Checking {UML} and {OCL} Model Behavior with Filmstripping and Classifying
                  Terms},
  booktitle    = {Tests and Proofs - 11th International Conference, TAP@STAF 2017, Marburg,
                  Germany, July 19-20, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10375},
  pages        = {119--128},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-61467-0\_7},
  doi          = {10.1007/978-3-319-61467-0\_7},
  timestamp    = {Tue, 23 Jun 2020 17:47:29 +0200},
  biburl       = {https://dblp.org/rec/conf/tap/GogollaHDD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}