モーバイルプロセスの失敗例意味論を用いた等価性判別 (共著)

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)9-9
Number of pages1
Journal信学技報
Volumecomp96
Publication statusPublished - 1997

Cite this

モーバイルプロセスの失敗例意味論を用いた等価性判別 (共著). / Murakami, Masaki.

In: 信学技報, Vol. comp96, 1997, p. 9-9.

Research output: Contribution to journalArticle

@article{b6ad0544daca45538fae24c3fa1760be,
title = "モーバイルプロセスの失敗例意味論を用いた等価性判別 (共著)",
author = "Masaki Murakami",
year = "1997",
language = "Japanese",
volume = "comp96",
pages = "9--9",
journal = "信学技報",

}

TY - JOUR

T1 - モーバイルプロセスの失敗例意味論を用いた等価性判別 (共著)

AU - Murakami, Masaki

PY - 1997

Y1 - 1997

M3 - Article

VL - comp96

SP - 9

EP - 9

JO - 信学技報

JF - 信学技報

ER -