Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Akinori Yonezawa and Satoshi Matsuoka and Kiyoshi Asai,Model checking of control-finite CSP programs,[1993] Proceedings of the Twenty-sixth Hawaii International Conference on System Sciences,,IEEE,2002-12-31,ii,,174-183,https://cir.nii.ac.jp/crid/1870583642980934400,https://doi.org/10.1109/hicss.1993.284112