Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems.

Farn Wang

Browse the full TACAS paper archive.