DBLP Record 'journals/jods/GiorginiMNS03'

BibTeX

@article{DBLP:journals/jods/GiorginiMNS03,
  author    = {Paolo Giorgini and
               John Mylopoulos and
               Eleonora Nicchiarelli and
               Roberto Sebastiani},
  title     = {Formal Reasoning Techniques for Goal Models},
  journal   = {J. Data Semantics},
  volume    = {1},
  year      = {2003},
  pages     = {1-20},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=2800{\&}spage=1},
  crossref  = {DBLP:journals/jods/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:journals/jods/2003,
  editor    = {Stefano Spaccapietra and
               Salvatore T. March and
               Karl Aberer},
  title     = {Journal on Data Semantics I},
  booktitle = {J. Data Semantics I},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2800},
  year      = {2003},
  isbn      = {3-540-20407-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}