BibTeX record conf/aina/MullnerTF12

download as .bib file

@inproceedings{DBLP:conf/aina/MullnerTF12,
  author    = {Nils M{\"{u}}llner and
               Oliver E. Theel and
               Martin Fr{\"{a}}nzle},
  title     = {Combining Decomposition and Reduction for State Space Analysis of
               a Self-Stabilizing System},
  booktitle = {{IEEE} 26th International Conference on Advanced Information Networking
               and Applications, AINA, 2012 , Fukuoka, Japan, March 26-29, 2012},
  pages     = {936--943},
  year      = {2012},
  crossref  = {DBLP:conf/aina/2012},
  url       = {https://doi.org/10.1109/AINA.2012.127},
  doi       = {10.1109/AINA.2012.127},
  timestamp = {Sun, 21 May 2017 00:17:32 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/MullnerTF12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aina/2012,
  editor    = {Leonard Barolli and
               Tomoya Enokido and
               Fatos Xhafa and
               Makoto Takizawa},
  title     = {{IEEE} 26th International Conference on Advanced Information Networking
               and Applications, AINA, 2012 , Fukuoka, Japan, March 26-29, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6184368},
  isbn      = {978-1-4673-0714-7},
  timestamp = {Mon, 15 Sep 2014 17:23:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aina/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier