Publication | Closed Access
Abstraction for model checking multi-agent systems
15
Citations
10
References
2010
Year
EngineeringFormal ModelingAutomated ReasoningMulti-agent SystemsVerificationFormal MethodsSystems EngineeringModel AbstractionComputer ScienceModel CheckingFormal Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1