Publication | Open Access
Lumpability abstractions of rule-based systems
51
Citations
27
References
2011
Year
Formal SpecificationEngineeringAutomated ReasoningVerificationFormal MethodsSystems EngineeringModel AbstractionComputer ScienceFormal VerificationLumpability AbstractionsAbstraction Technique
| Year | Citations | |
|---|---|---|
Page 1
Page 1