AkamaN07a'

BibTeX

@article{DBLP:journals/jaciii/AkamaN07a,
  author    = {Kiyoshi Akama and
               Ekawit Nantajeewarawat},
  title     = {State-Transition Computation Models and Program Correctness
               Thereon},
  journal   = {JACIII},
  volume    = {11},
  number    = {10},
  year      = {2007},
  pages     = {1250-1261},
  ee        = {http://www.fujipress.jp/finder/xslt.php?mode=present{\&}inputfile=JACII001100100011.xml},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}