BibTeX record: conf/re/FuxmanMPT01

download as .bib file

@inproceedings{DBLP:conf/re/FuxmanMPT01,
  author    = {Ariel Fuxman and
               John Mylopoulos and
               Marco Pistore and
               Paolo Traverso},
  title     = {Model Checking Early Requirements Specifications in Tropos.},
  booktitle = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
               2001), 27-31 August 2001, Toronto, Canada},
  year      = {2001},
  pages     = {174--181},
  crossref  = {DBLP:conf/re/2001},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ISRE.2001.948557},
  doi       = {10.1109/ISRE.2001.948557},
  timestamp = {Wed, 03 Sep 2014 07:05:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/re/FuxmanMPT01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/re/2001,
  title     = {5th {IEEE} International Symposium on Requirements Engineering {(RE}
               2001), 27-31 August 2001, Toronto, Canada},
  year      = {2001},
  publisher = {{IEEE} Computer Society},
  isbn      = {0-7695-1125-2},
  timestamp = {Wed, 03 Sep 2014 07:05:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/re/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}