Login / Signup
Morteza Ghodrat
Publication Activity (10 Years)
Years Active: 1999-1999
Publications (10 Years): 0
</>
Publications
</>
J. William Atwood
,
Morteza Ghodrat
,
Dariusz Tasak
Using Formal Specification and Observers to Specify and Validate the ATM Signaling Protocols.
LCN
(1999)