BibTeX record journals/corr/abs-1302-5169

download as .bib file

@inproceedings{DBLP:journals/corr/abs-1302-5169,
  author    = {Christian Colombo and
               Adrian Francalanza and
               Ruth Mizzi and
               Gordon J. Pace},
  title     = {Extensible Technology-Agnostic Runtime Verification},
  booktitle = {Proceedings 10th International Workshop on Formal Engineering Approaches
               to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
               March 23, 2013.},
  pages     = {1--15},
  year      = {2013},
  crossref  = {DBLP:journals/corr/abs-1302-4780},
  url       = {https://doi.org/10.4204/EPTCS.108.1},
  doi       = {10.4204/EPTCS.108.1},
  timestamp = {Mon, 13 Aug 2018 16:49:10 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1302-5169},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1302-4780,
  editor    = {Barbora Buhnova and
               Lucia Happe and
               Jan Kofron},
  title     = {Proceedings 10th International Workshop on Formal Engineering Approaches
               to Software Components and Architectures, {FESCA} 2013, Rome, Italy,
               March 23, 2013},
  series    = {{EPTCS}},
  volume    = {108},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.108},
  doi       = {10.4204/EPTCS.108},
  timestamp = {Mon, 13 Aug 2018 16:49:10 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1302-4780},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier