Daniel Hirschkoff
On the Benefits of Using the Up-To Techniques for Bisimulation Verification
TACAS, 1999.
@inproceedings{TACAS-1999-Hirschkoff,
author = "Daniel Hirschkoff",
booktitle = "{Proceedings of the Sixth International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/3-540-49059-0_20",
isbn = "3-540-65703-7",
pages = "285--299",
publisher = "{Springer-Verlag}",
series = "{Lecture Notes in Computer Science}",
title = "{On the Benefits of Using the Up-To Techniques for Bisimulation Verification}",
volume = 1579,
year = 1999,
}