Three Simulation Algorithms for Labelled...
URL: https://inria.hal.science/hal-00771518
Dataset description:
Algorithms which compute the coarsest simulation preorder are generally designed on Kripke structures. Only in a second time they are extended to labelled transition systems. By...
Source: Three Simulation Algorithms for Labelled Transition Systems
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 15, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 1 day ago |
| Id | 6090fe2f-3cd3-408c-a938-edd0903f2a35 |
| Package id | oai-hal-hal-00771518v1 |
| Resource type | HTML |
| State | active |