BibTeX record conf/monterey/JacksonS12

download as .bib file

@inproceedings{DBLP:conf/monterey/JacksonS12,
  author       = {Ethan K. Jackson and
                  Wolfram Schulte},
  editor       = {Radu Calinescu and
                  David Garlan},
  title        = {Understanding Specification Languages through Their Model Theory},
  booktitle    = {Large-Scale Complex {IT} Systems. Development, Operation and Management
                  - 17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7539},
  pages        = {396--415},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-34059-8\_21},
  doi          = {10.1007/978-3-642-34059-8\_21},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/JacksonS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics