Publication | Closed Access
Termination detection for diffusing computations
684
Citations
0
References
1980
Year
Program CheckingTermination DetectionEngineeringRuntime VerificationProgram AnalysisFormal MethodsSoftware AnalysisComputer-aided VerificationParallel ProgrammingComputer ScienceFormal Verification
No additional data available for this publication yet. Check back later!