BibTeX record conf/iwssd/BrabermanP00

download as .bib file

@inproceedings{DBLP:conf/iwssd/BrabermanP00,
  author    = {V{\'{\i}}ctor A. Braberman and
               Fabio Pieniazek},
  title     = {Duration Properties over Real Time System Designs},
  booktitle = {Proceedings of the 10th International Workshop on Software Specification
               and Design, Shelter Island, San Diego, California, USA, November 5-7,
               2000},
  pages     = {51--62},
  year      = {2000},
  crossref  = {DBLP:conf/iwssd/2000},
  url       = {http://portal.acm.org/citation.cfm?id=857171.857225},
  timestamp = {Wed, 12 Jul 2006 12:35:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iwssd/BrabermanP00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iwssd/2000,
  title     = {Proceedings of the 10th International Workshop on Software Specification
               and Design, Shelter Island, San Diego, California, USA, November 5-7,
               2000},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  isbn      = {0-7695-0884-7},
  timestamp = {Fri, 03 Mar 2006 10:29:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/iwssd/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics