BibTeX record conf/models/PaigeRGKB08

• > Home > conf/models/PaigeRGKB08

@inproceedings{DBLP:conf/models/PaigeRGKB08,
  author       = {Richard F. Paige and
                  Louis M. Rose and
                  Xiaocheng Ge and
                  Dimitrios S. Kolovos and
                  Phillip J. Brooke},
  editor       = {Michel R. V. Chaudron},
  title        = {{FPTC:} Automated Safety Analysis for Domain-Specific Languages},
  booktitle    = {Models in Software Engineering, Workshops and Symposia at {MODELS}
                  2008, Toulouse, France, September 28 - October 3, 2008. Reports and
                  Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5421},
  pages        = {229--242},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-01648-6\_25},
  doi          = {10.1007/978-3-642-01648-6\_25},
  timestamp    = {Wed, 23 Feb 2022 12:58:06 +0100},
  biburl       = {https://dblp.org/rec/conf/models/PaigeRGKB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}