YueDJM04'

BibTeX

@inproceedings{DBLP:conf/apsec/YueDJM04,
  author    = {Yue Tang and
               Jin Song Dong and
               Jing Sun and
               Brendan P. Mahony},
  title     = {Reasoning about Semantic Web in Isabelle/HOL},
  booktitle = {APSEC},
  year      = {2004},
  pages     = {46-53},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2004.82},
  crossref  = {DBLP:conf/apsec/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/apsec/2004,
  title     = {11th Asia-Pacific Software Engineering Conference (APSEC
               2004), 30 November - 3 December 2004, Busan, Korea},
  booktitle = {APSEC},
  publisher = {IEEE Computer Society},
  year      = {2004},
  isbn      = {0-7695-2245-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}