コンテンツメニュー
keywordbehavioral inheritnce school大学院理工学研究科（工学）
publish year
2010 - 2014 1
keyword
behavioral inheritnce 1 timed Petri net 1 timed branching bisimulation 1
resource type
journal article 1
school
大学院理工学研究科（工学） 1
Result 1 Items
Id (<span class="translation_missing" title="translation missing: en.view.desc">Desc</span>)
Reduction operators based on behavioral inheritance for timed Petri nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences Volume E97-A Issue 2
Creators : Toyoshima Ichiro | Nakano Shota | Yamaguchi Shingo Publishers : 電子情報通信学会 Date Issued : 2014
Related Creatrors
Yamaguchi Shingo 1
Yamaguchi Univ. Library
〒753-8511　1677-1 Yoshida, Yamaguchi, Yamaguchi

E-Mail: yunoca@yamaguchi-u.ac.jp
Copyright（C）2006-2018 Yamaguchi University Library. All Rights Reserved.