Uchihira98'

BibTeX

@inproceedings{DBLP:conf/acsd/Uchihira98,
  author    = {Naoshi Uchihira},
  title     = {How to Make Concurrent Programs Highly Reliable- More than
               State Space Analysis},
  booktitle = {ACSD},
  year      = {1998},
  pages     = {16-23},
  ee        = {http://csdl.computer.org/comp/proceedings/csd/1998/8350/00/83500016abs.htm},
  crossref  = {DBLP:conf/acsd/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/acsd/1998,
  title     = {1st International Conference on Application of Concurrency
               to System Design (ACSD '98), 23-26 March 1998, Fukushima,
               Japan},
  booktitle = {ACSD},
  publisher = {IEEE Computer Society},
  year      = {1998},
  isbn      = {0-8186-8350-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}