BibTeX record journals/sncs/LuTCKS23

download as .bib file

@article{DBLP:journals/sncs/LuTCKS23,
  author       = {Shan Lu and
                  Alexey Tazin and
                  Yanji Chen and
                  Mieczyslaw M. Kokar and
                  Jeff Smith},
  title        = {Detection of Inconsistencies in SysML/OCL Models Using {OWL} Reasoning},
  journal      = {{SN} Comput. Sci.},
  volume       = {4},
  number       = {2},
  pages        = {175},
  year         = {2023},
  url          = {https://doi.org/10.1007/s42979-022-01577-0},
  doi          = {10.1007/S42979-022-01577-0},
  timestamp    = {Sat, 11 Mar 2023 00:13:04 +0100},
  biburl       = {https://dblp.org/rec/journals/sncs/LuTCKS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics