Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems.

Peter Fontana, Rance Cleaveland

Browse the full FMCAD paper archive.