Complexity analysis and verification of problems concerning systems with many identical processes
碩士 === 國立臺灣大學 === 電機工程學研究所 === 83 ===
Main Authors: | Lao, Da Bang, 勞大邦 |
---|---|
Other Authors: | Yan, Si Jun |
Format: | Others |
Language: | zh-TW |
Published: |
1995
|
Online Access: | http://ndltd.ncl.edu.tw/handle/32425115859216616652 |
Similar Items
-
Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques
by: Fournier, Paulin
Published: (2015) -
Verification of Many-Qubit States
by: Yuki Takeuchi, et al.
Published: (2018-06-01) -
Concern-based specification and runtime verification of declarative process models
by: Montague, S.
Published: (2012) -
Many identities from one
by: Chu Wenchang
Published: (1996-05-01) -
The Problems of the Many
by: Woods, Evan T.
Published: (2019)