Ryosuke Nakashiro

Publication Activity (10 Years)

Years Active: 2011-2011
Publications (10 Years): 0

Publications

Ryosuke Nakashiro, Yasutaka Kamei, Naoyasu Ubayashi, Shin Nakajima, Akihito Iwai
Translation Pattern of BPEL Process into Promela Code. IWSM/Mensura (2011)