BibTeX record conf/apccas/ZhangSDZ08

download as .bib file

@inproceedings{DBLP:conf/apccas/ZhangSDZ08,
  author    = {Duoli Zhang and
               Yu{-}Kun Song and
               Gaoming Du and
               Yuanjie Zhai},
  title     = {A technique of automatic monitor generation based on {FSM}},
  booktitle = {{APCCAS}},
  pages     = {1775--1778},
  publisher = {{IEEE}},
  year      = {2008}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics