2013年
Under-approximation of Reachability in Multivalued Asynchronous Networks.
Electr. Notes Theor. Comput. Sci.
- ,
- ,
- ,
- 巻
- 299
- 号
- 開始ページ
- 33
- 終了ページ
- 51
- DOI
- 10.1016/j.entcs.2013.11.004
- リンク情報
- ID情報
-
- DOI : 10.1016/j.entcs.2013.11.004
- DBLP ID : journals/entcs/FolschettePMR13