July 2002
Proceedings of the 2nd workshop on Real-Time Tools (RT-TOOLS), arranged in Copenhagen, Denmark, August 1 2002 in association with the 14th conference on Computer-Aided Verification (CAV).
Download BibTeX entry.