Publication | Closed Access
Branching Time and Abstraction in Bisimulation Semantics (Extended Abstract).
136
Citations
0
References
1989
Year
EngineeringAutomated ReasoningAbstract InterpretationFormal MethodsAbstraction (Computer Science)Computer ScienceBranching Time
No additional data available for this publication yet. Check back later!