Validation of communications systems with SDL : the art of SDL simulation and reachability analysis
| Main Author: | Doldi, Laurent |
|---|---|
| Published: |
West Suusex, England:
John Wiley & Sons Ltd.,
2003.
|
| Subjects: |
| Physical Description: |
x, 296 p.: ill.; 26 cm. |
|---|---|
| Bibliography: |
Includes bibliographical references and index |
| ISBN: |
9780470852866 0470852860 (hbk.) |