大蒔和仁 (Kazuhito Ohmaki) - マイポータル - researchmap

基本情報

所属: 独立行政法人産業技術総合研究所先端情報計算センター

J-GLOBAL ID: 200901087181297227
researchmap会員ID: 5000000527

外部リンク: http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=K51654863

MISC

1

A Non-interleaving Timed Process Algebra and a Process Logic for Verifying Composition of Agents

磯部祥尚, 大蒔和仁

コンピュータソフトウェア 20(5) 470-491 2003年