BibTeX record conf/apsec/TranCHZ12

• > Home > conf/apsec/TranCHZ12

@inproceedings{DBLP:conf/apsec/TranCHZ12,
  author    = {Minh H. Tran and
               Alan W. Colman and
               Jun Han and
               Hongyu Zhang},
  title     = {Modeling and Verification of Context-Aware Systems},
  booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
               Kong, China, December 4-7, 2012},
  pages     = {79--84},
  year      = {2012},
  crossref  = {DBLP:conf/apsec/2012},
  url       = {https://doi.org/10.1109/APSEC.2012.50},
  doi       = {10.1109/APSEC.2012.50},
  timestamp = {Sun, 06 Oct 2019 12:52:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/TranCHZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/apsec/2012,
  editor    = {Karl R. P. H. Leung and
               Pornsiri Muenchaisri},
  title     = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
               Kong, China, December 4-7, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6462577},
  isbn      = {978-0-7695-4922-4},
  timestamp = {Tue, 12 Mar 2013 11:04:50 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/apsec/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}