著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
青木 利晃,Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking,Proc.of IEEE International Conference on Web Services (ICWS 2011),,,2011,,,722-723,https://cir.nii.ac.jp/crid/1010282257119084562,