@inproceedings{artho-dipes10,
  author = {C. Artho and W. Leungwattanakit and M. Hagiya and Y. Tanabe and M. Yamamoto},
  title = {Model Checking of Concurrent Algorithms: From {Java} to {C}},
  booktitle = {Proc.\ Conf.\ on Distributed and Parallel Embedded Systems (DIPES~2010)},
  year = {2010},
  publisher = {Springer},
  series = {IFIP AICT},
  volume = {329},
  pages = {90--101},
  address = {Brisbane, Australia},
}