Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Osamu Shirakawa and Hiroyuki Seki and Mamoru Fujii and Masahiro Higuchi and Tadao Kasami,A verification procedure via invariant for extended communicating finite-state machines,,,Springer Berlin Heidelberg,1993-01-01,,,,https://cir.nii.ac.jp/crid/1871991017935796736,https://doi.org/10.1007/3-540-56496-9_30