Publication | Closed Access
Verification of protocol specificaitons using the CESAR system
16
Citations
0
References
1985
Year
Unknown Venue
EngineeringVerificationFormal MethodsComputer-aided VerificationSystems EngineeringFormal TechniqueCesar SystemFormal VerificationInteraction Protocol
No additional data available for this publication yet. Check back later!