DBLP Record 'conf/qsic/NakanoONF06'

BibTeX

@inproceedings{DBLP:conf/qsic/NakanoONF06,
  author    = {Masahiro Nakano and
               Kazuhiro Ogata and
               Masaki Nakamura and
               Kokichi Futatsugi},
  title     = {Automating Invariant Verification of Behavioral Specifications},
  booktitle = {QSIC},
  year      = {2006},
  pages     = {49-56},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/QSIC.2006.17},
  crossref  = {DBLP:conf/qsic/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/qsic/2006,
  title     = {Sixth International Conference on Quality Software (QSIC
               2006), 26-28 October 2006, Beijing, China},
  booktitle = {QSIC},
  publisher = {IEEE Computer Society},
  year      = {2006},
  isbn      = {0-7695-2718-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}