Doldi, Laurent <br/><br/>
Validation of communications systems with SDL : the art of SDL simulation and reachability analysis 
Doldi, Laurent 
 -  c.2003 
<br/><br/><label>ISBN: </label>0470852860 
<br/><br/><label>Subjects--Topical Terms: </label> MS Communication --MSCom
<br/><br/><label>Dewey Class. No.: </label>621.38450113 	DOL