@inproceedings{harwoodMollerSetzer:CSL2006:BisimulationApproximants,
author = {Will Harwood and Faron Moller and Anton Setzer},
title = {Weak Bisimulation Approximants},
editor = {Zolt{\'a}n {\'E}sik},
booktitle = {Computer Science Logic.
20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006. Proceedings},
publisher = {Springer Lecture Notes in Computer Science},
volume = {4207},
year = {2006},
pages = {365 - 379},
doi={10.1007/11874683_24}
}