Weak Bisimulation Approximants
Date first appeared online
DOI 10.1007/11874683_24
Authors Setzer A.
Journal Name Computer Science Logic
Volume 4207

Documents