Using inclusion abstraction to construct Atomic State Class Graphs for Time Petri Nets
Boucheneb, Hanifa, Hadjidj, RachidVolume:
2
Year:
2006
Language:
english
Journal:
International Journal of Embedded Systems
DOI:
10.1504/ijes.2006.010171
File:
PDF, 630 KB
english, 2006