Bounded Reachability Checking with Process Semantics (2001)
by
Keijo Heljanko
| Venue: | In Proceedings of the 12th International Conference on Concurrency Theory (Concur’2001 |
| Citations: | 16 - 5 self |
Document Versions
| Bounded Reachability Checking with Process Semantics –Keijo Heljanko — 2001 — In Proceedings of the 12th International Conference on Concurrency Theory (Concur’2001 |
| Bounded Reachability Checking with Process Semantics –Keijo Heljanko — 2002 — In Proceedings of the 12th International Conference on Concurrency Theory (Concur’2001 |
