Bounded Reachability Checking with Process Semantics
収録刊行物
-
- Proceedings of the 12th International Conference on Concurrency Theory (Concur'2001)
-
Proceedings of the 12th International Conference on Concurrency Theory (Concur'2001) 218-232, 2001
Springer