Search - IFIP Open Digital Library Access content directly

Filter your results

1 Array
Structure: Internal structure identifier : 304304
authFullName_s : Mitsuharu Yamamoto
Page :
sorted by
Image document

Model Checking of Concurrent Algorithms: From Java to C

 Cyrille Artho , Masami Hagiya , Watcharin Leungwattanakit , Yoshinori Tanabe , Mitsuharu Yamamoto
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) , Sep 2010, Brisbane, Australia. pp.90-101, ⟨10.1007/978-3-642-15234-4_10⟩
Conference papers hal-01054483v1
Page :