BibTeX record conf/serp/ShiraishiKMKMWKF10

• > Home > conf/serp/ShiraishiKMKMWKF10

@inproceedings{DBLP:conf/serp/ShiraishiKMKMWKF10,
  author       = {Tomohiro Shiraishi and
                  Weiqiang Kong and
                  Yuki Mizushima and
                  Noriyuki Katahira and
                  Michihiro Matsumoto and
                  Masahiko Watanabe and
                  Tetsuro Katayama and
                  Akira Fukuda},
  editor       = {Hamid R. Arabnia and
                  Hassan Reza and
                  Leonidas Deligiannidis and
                  Juan Jose Cuadrado{-}Gallego and
                  Vincent Schmidt and
                  Ashu M. G. Solo},
  title        = {Model Checking of Software Design in State Transition Matrix},
  booktitle    = {Proceedings of the 2010 International Conference on Software Engineering
                  Research {\&} Practice, {SERP} 2010, July 12-15, 2010, Las Vegas,
                  Nevada, USA, 2 Volumes},
  pages        = {507--513},
  publisher    = {{CSREA} Press},
  year         = {2010},
  timestamp    = {Fri, 10 Dec 2010 14:16:04 +0100},
  biburl       = {https://dblp.org/rec/conf/serp/ShiraishiKMKMWKF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}