Publication | Closed Access
Verification of programs with half-duplex communication
72
Citations
19
References
2005
Year
Program CheckingEngineeringProgram AnalysisVerificationFormal MethodsSoftware AnalysisHalf-duplex CommunicationComputer-aided VerificationComputer ScienceFormal VerificationSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1