Normed simulations (1998)

by W Griffioen, F Vaandrager
Venue:In Proceedings of the 10th International Conference on Computer Aided Verification