Publication | Closed Access
Model checking agent programming languages
190
Citations
41
References
2011
Year
EngineeringFormal ModelingProgram AnalysisAutomated ReasoningVerificationFormal MethodsSoftware AnalysisAgent Programming LanguagesComputer ScienceModel CheckingAgent Programming LanguageFormal VerificationProgramming Languages
| Year | Citations | |
|---|---|---|
Page 1
Page 1