DBLP Record 'conf/aiccsa/XiangBF08'

BibTeX

@inproceedings{DBLP:conf/aiccsa/XiangBF08,
  author    = {Jianwen Xiang and
               Dines Bj{\o}rner and
               Kokichi Futatsugi},
  title     = {Formal digital license language with OTS/CafeOBJ method},
  booktitle = {AICCSA},
  year      = {2008},
  pages     = {652-660},
  ee        = {http://dx.doi.org/10.1109/AICCSA.2008.4493599},
  crossref  = {DBLP:conf/aiccsa/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/aiccsa/2008,
  title     = {The 6th ACS/IEEE International Conference on Computer Systems
               and Applications, AICCSA 2008, Doha, Qatar, March 31 - April
               4, 2008},
  booktitle = {AICCSA},
  publisher = {IEEE},
  year      = {2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}