BrzozowskieI01'

BibTeX

@inproceedings{DBLP:conf/ismvl/BrzozowskieI01,
  author    = {Janusz A. Brzozowski and
               Zolt{\'a}n {\'E}sik and
               Y. Iland},
  title     = {Algebras for Hazard Detection},
  booktitle = {ISMVL},
  year      = {2001},
  pages     = {3-},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}