BibTeX record conf/hicss/KaviSSH95

download as .bib file

@inproceedings{DBLP:conf/hicss/KaviSSH95,
  author    = {Krishna M. Kavi and
               Frederick T. Sheldon and
               Behrooz Shirazi and
               Ali R. Hurson},
  title     = {Reliability analysis of {CSP} specifications using Petri nets and
               Markov processes},
  booktitle = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
               January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  pages     = {516--524},
  year      = {1995},
  crossref  = {DBLP:conf/hicss/1995},
  url       = {http://dx.doi.org/10.1109/HICSS.1995.375505},
  doi       = {10.1109/HICSS.1995.375505},
  timestamp = {Tue, 05 Apr 2016 11:40:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hicss/KaviSSH95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/hicss/1995,
  title     = {28th Annual Hawaii International Conference on System Sciences (HICSS-28),
               January 3-6, 1995, Kihei, Maui, Hawaii, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1995},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3016},
  isbn      = {0-8186-6945-4},
  timestamp = {Tue, 05 Apr 2016 11:40:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/hicss/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}