Girault, Claude
Petri Nets For Systems Engineering
- New York: Springer-Verlag, 2003
- 607 p.; Illus. Index.: 24 cm.
3540412174 (hbk)
Modeling and Analysis Techniques
Techniques
Tele Communications Engineering
Telecommunication Systems
Verification
621.392 / GIR