BibTeX record journals/cj/SimkoHHBP15

download as .bib file

@article{DBLP:journals/cj/SimkoHHBP15,
  author    = {Viliam Simko and
               David Hauzar and
               Petr Hnetynka and
               Tom{\'{a}}s Bures and
               Frantisek Plasil},
  title     = {Formal Verification of Annotated Textual Use-Cases},
  journal   = {Comput. J.},
  volume    = {58},
  number    = {7},
  pages     = {1495--1529},
  year      = {2015},
  url       = {https://doi.org/10.1093/comjnl/bxu068},
  doi       = {10.1093/comjnl/bxu068},
  timestamp = {Fri, 15 Sep 2017 17:21:44 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/cj/SimkoHHBP15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
Schloss Dagstuhl LZI