Extending Promela and Spin for Real Time.

Stavros Tripakis, Costas Courcoubetis

Browse the full TACAS paper archive.