Much compact Time Petri Net state class spaces useful to restore CTL* properties.
| Autor: | Hadjidj, R., Boucheneb, H. |
|---|---|
| Zdroj: | Fifth International Conference on Application of Concurrency to System Design (ACSD'05); 2005, p224-233, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|