コンテンツメニュー
publish year2010 - 2014 keywordtimed branching bisimulation resource typejournal article school
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