DBLP Record 'conf/vveis/YatakeAK04'

BibTeX

@inproceedings{DBLP:conf/vveis/YatakeAK04,
  author    = {Kenro Yatake and
               Toshiaki Aoki and
               Takuya Katayama},
  title     = {Collaboration-based verification of Object-Oriented models
               in HOL},
  booktitle = {VVEIS},
  year      = {2004},
  pages     = {78-80},
  crossref  = {DBLP:conf/vveis/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/vveis/2004,
  editor    = {Juan Carlos Augusto and
               Ulrich Ultes-Nitsche},
  title     = {Verification and Validation of Enterprise Information Systems,
               Proceedings of the 2nd International Workshop on Verification
               and Validation of Enterprise Information Systems, VVEIS
               2004, In conjunction with ICEIS 2004, Porto, Portugal, April
               2004},
  booktitle = {VVEIS},
  publisher = {INSTICC Press},
  year      = {2004},
  isbn      = {972-8865-03-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}