Login / Signup
Orville Cockings
Publication Activity (10 Years)
Years Active: 1993-1993
Publications (10 Years): 0
</>
Publications
</>
Sanjai Narain
,
Orville Cockings
,
Ritu Chadha
A Formal Model of SONET's Alarm-Surveillance Procedures and their Simulation.
FORTE
(1993)