A Small Model Theorem for Bisimilarity Control Under Partial Observation
Journal
-
- IEEE Transactions on Automation Science and Engineering
-
IEEE Transactions on Automation Science and Engineering 4 (1), 93-97, 2007-01
Institute of Electrical and Electronics Engineers (IEEE)
- Tweet
Details 詳細情報について
-
- CRID
- 1362825893965039488
-
- ISSN
- 15455955
-
- Data Source
-
- Crossref