Artho, C., Hagiya, M., Leungwattanakit, W., Tanabe, Y., Yamamoto, M., Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), University of Tokyo Tokyo = Tōkyō teikoku daigaku (UTokyo), National Institute of Informatics (NII), Chiba University, Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, & Marilyn Wolf. (2010, Januar 1). Model Checking of Concurrent Algorithms: From Java to C. Gehalten auf der. CCSD&Springer. https://doi.org/10.1007/978-3-642-15234-4_10

ARTHO, Cyrille, HAGIYA, Masami, LEUNGWATTANAKIT, Watcharin, TANABE, Yoshinori, YAMAMOTO, Mitsuharu, RESEARCH CENTER FOR INFORMATION SECURITY (RCIS), NATIONAL INSTITUTE OF ADVANCED INDUSTRIAL SCIENCE AND TECHNOLOGY (AIST), University of Tokyo Tokyo = Tōkyō teikoku daigaku (UTokyo), NATIONAL INSTITUTE OF INFORMATICS (NII), CHIBA UNIVERSITY, MIKE HINCHEY, BERND KLEINJOHANN, LISA KLEINJOHANN, PETER A. LINDSAY, FRANZ J. RAMMIG, JON TIMMIS und MARILYN WOLF, 2010. Model Checking of Concurrent Algorithms: From Java to C. In: . CCSD&Springer. 1 Januar 2010.

Artho, C., M. Hagiya, W. Leungwattanakit, Y. Tanabe, M. Yamamoto, Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), University of Tokyo Tokyo = Tōkyō teikoku daigaku (UTokyo), National Institute of Informatics (NII), Chiba University, Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis, und Marilyn Wolf. Model Checking of Concurrent Algorithms: From Java to C. CCSD&Springer, 2010, https://doi.org/10.1007/978-3-642-15234-4_10.

Artho, C., Hagiya, M., Leungwattanakit, W., Tanabe, Y., Yamamoto, M., Research Center for Information Security (RCIS), National Institute of Advanced Industrial Science and Technology (AIST), University of Tokyo Tokyo = Tōkyō teikoku daigaku (UTokyo), National Institute of Informatics (NII), Chiba University, Mike Hinchey, Bernd Kleinjohann, Lisa Kleinjohann, Peter A. Lindsay, Franz J. Rammig, Jon Timmis und Marilyn Wolf. (2010), „Model Checking of Concurrent Algorithms: From Java to C“, in , Bd. , CCSD&Springer, verfügbar unter:https://doi.org/10.1007/978-3-642-15234-4_10.