BibTeX record conf/tapsoft/PenaA89

download as .bib file

@inproceedings{DBLP:conf/tapsoft/PenaA89,
  author    = {Ricardo Pena and
               Luis M. Alonso},
  title     = {Specification and Verification of {TCSP} Systems by Means of Partial
               Abstract Data Types},
  booktitle = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Barcelona, Spain, March 13-17,
               1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
               Development {II} and Colloquium on Current Issues in Programming Languages
               {(CCIPL)}},
  pages     = {328--344},
  year      = {1989},
  crossref  = {DBLP:conf/tapsoft/1989-2},
  url       = {https://doi.org/10.1007/3-540-50940-2\_45},
  doi       = {10.1007/3-540-50940-2\_45},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/PenaA89},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1989-2,
  editor    = {Josep D{\'{\i}}az and
               Fernando Orejas},
  title     = {TAPSOFT'89: Proceedings of the International Joint Conference on Theory
               and Practice of Software Development, Barcelona, Spain, March 13-17,
               1989, Volume 2: Advanced Seminar on Foundations of Innovative Software
               Development {II} and Colloquium on Current Issues in Programming Languages
               {(CCIPL)}},
  series    = {Lecture Notes in Computer Science},
  volume    = {352},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-50940-2},
  doi       = {10.1007/3-540-50940-2},
  isbn      = {3-540-50940-2},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tapsoft/1989-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier