@inproceedings{artho:hal-01054483,
  TITLE = {{Model Checking of Concurrent Algorithms: From Java to C}},
  AUTHOR = {Artho, Cyrille and Hagiya, Masami and Leungwattanakit, Watcharin and Tanabe, Yoshinori and Yamamoto, Mitsuharu},
  URL = {https://inria.hal.science/hal-01054483},
  BOOKTITLE = {{7th IFIP TC 10 Working Conference on Distributed, Parallel and Biologically Inspired Systems (DIPES) / 3rd IFIP TC 10 International Conference on Biologically-Inspired Collaborative Computing (BICC) / Held as Part of World Computer Congress (WCC) }},
  ADDRESS = {Brisbane, Australia},
  EDITOR = {Mike Hinchey; Bernd Kleinjohann; Lisa Kleinjohann; Peter A. Lindsay; Franz J. Rammig; Jon Timmis; Marilyn Wolf},
  PUBLISHER = {{Springer}},
  SERIES = {Distributed, Parallel and Biologically Inspired Systems},
  VOLUME = {AICT-329},
  PAGES = {90-101},
  YEAR = {2010},
  MONTH = Sep,
  DOI = {10.1007/978-3-642-15234-4\_10},
  PDF = {https://inria.hal.science/hal-01054483/file/final_008.pdf},
  HAL_ID = {hal-01054483},
  HAL_VERSION = {v1},
}