BibTeX record conf/icnp/CacciariR93

download as .bib file

@inproceedings{DBLP:conf/icnp/CacciariR93,
  author    = {Leo Cacciari and
               Omar Rafiq},
  title     = {Decidability issues in reduced reachability analysis},
  booktitle = {1993 International Conference on Network Protocols, {ICNP} 1993, San
               Francisco, CA, USA, October 19-22, 1993, Proceedings},
  pages     = {158--165},
  year      = {1993},
  crossref  = {DBLP:conf/icnp/1993},
  url       = {https://doi.org/10.1109/ICNP.1993.340922},
  doi       = {10.1109/ICNP.1993.340922},
  timestamp = {Fri, 26 May 2017 00:49:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/CacciariR93},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icnp/1993,
  title     = {1993 International Conference on Network Protocols, {ICNP} 1993, San
               Francisco, CA, USA, October 19-22, 1993, Proceedings},
  publisher = {{IEEE}},
  year      = {1993},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=909},
  isbn      = {0-8186-3670-X},
  timestamp = {Sat, 02 Apr 2016 14:44:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icnp/1993},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier