BibTeX record conf/cse/LuMJPZ14

download as .bib file

@inproceedings{DBLP:conf/cse/LuMJPZ14,
  author    = {Yu Lu and
               Alice Miller and
               Chris W. Johnson and
               Zhaoguang Peng and
               Tingdi Zhao},
  title     = {Availability Analysis of Satellite Positioning Systems for Aviation
               Using the {PRISM} Model Checker},
  booktitle = {17th {IEEE} International Conference on Computational Science and
               Engineering, {CSE} 2014, Chengdu, China, December 19-21, 2014},
  pages     = {704--713},
  year      = {2014},
  crossref  = {DBLP:conf/cse/2014},
  url       = {https://doi.org/10.1109/CSE.2014.148},
  doi       = {10.1109/CSE.2014.148},
  timestamp = {Fri, 16 Jun 2017 11:20:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cse/LuMJPZ14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cse/2014,
  editor    = {Xingang Liu and
               Didier El Baz and
               Ching{-}Hsien Hsu and
               Kai Kang and
               Weifeng Chen},
  title     = {17th {IEEE} International Conference on Computational Science and
               Engineering, {CSE} 2014, Chengdu, China, December 19-21, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7023220},
  isbn      = {978-1-4799-7981-3},
  timestamp = {Thu, 07 May 2015 18:17:12 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cse/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier