@inproceedings{3ad1eb52c119440a888d73d686ecc62b,
title = "On the coverage of partial validations",
author = "E. Brinksma",
year = "1994",
language = "English",
isbn = "3-540-19852-0",
series = "Workshops in Computing",
publisher = "Springer",
pages = "245--252",
editor = "M. Nivat and C. Rattray and T. Rus and G. Scollo",
booktitle = "Algebraic Methodology and Software Technology (Proceedings 3rd International Conference, AMAST'93, Enschede, The Netherlands, June 21-25, 1993)",
address = "Germany",
}