![](/img/cover-not-exists.png)
[IEEE Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - St. Malo, France (07-09 June 2005)] Fifth International Conference on Application of Concurrency to System Design (ACSD'05) - Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties
Hadjidj, R., Boucheneb, H.Year:
2005
Language:
english
DOI:
10.1109/acsd.2005.28
File:
PDF, 363 KB
english, 2005