Uppsala University Department of Information Technology

Technical Report 2002-025

Workshop on Real-Time Tools (Proceedings)

Paul Petterson and Wang Yi (eds.)

July 2002

Abstract:
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.



Uppsala Universitet