Normed simulations (1998)

by W O D Griffioen, F W Vaandrager
Venue:Proceedings CAV’98, volume 1427 of LNCS