Three approximation techniques for astral symbolic model checking of infinite state real-time systems (2000)

by Z Dang, R A Kemmerer
Venue:In Proceedings of the 22nd international conference on Software engineering