BibTeX record conf/arts/FevrierNS97

download as .bib file

@inproceedings{DBLP:conf/arts/FevrierNS97,
  author    = {Arnaud F{\'{e}}vrier and
               Elie Najm and
               Jean{-}Bernard Stefani},
  title     = {Contracts for {ODP}},
  booktitle = {Transformation-Based Reactive Systems Development, 4th International
               {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
               Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
  pages     = {216--232},
  year      = {1997},
  crossref  = {DBLP:conf/arts/1997},
  url       = {https://doi.org/10.1007/3-540-63010-4\_15},
  doi       = {10.1007/3-540-63010-4\_15},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arts/FevrierNS97},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/arts/1997,
  editor    = {Miquel Bertran and
               Teodor Rus},
  title     = {Transformation-Based Reactive Systems Development, 4th International
               {AMAST} Workshop on Real-Time Systems and Concurrent and Distributed
               Software, ARTS'97, Palma, Mallorca, Spain, May 21-23, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1231},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-63010-4},
  doi       = {10.1007/3-540-63010-4},
  isbn      = {3-540-63010-4},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/arts/1997},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics