BibTeX record conf/monterey/DineshJLS07

download as .bib file

@inproceedings{DBLP:conf/monterey/DineshJLS07,
  author       = {Nikhil Dinesh and
                  Aravind K. Joshi and
                  Insup Lee and
                  Oleg Sokolsky},
  editor       = {Barbara Paech and
                  Craig H. Martell},
  title        = {Logic-Based Regulatory Conformance Checking},
  booktitle    = {Innovations for Requirement Analysis. From Stakeholders' Needs to
                  Formal Designs, 14th Monterey Workshop 2007, Monterey, CA, USA, September
                  10-13, 2007. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5320},
  pages        = {147--160},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-89778-1\_12},
  doi          = {10.1007/978-3-540-89778-1\_12},
  timestamp    = {Thu, 26 Jan 2023 14:05:54 +0100},
  biburl       = {https://dblp.org/rec/conf/monterey/DineshJLS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics