Upgrade of the model-checker RT Spin for the specification and verification of real-time systems with urgent actions

Research output: Non-textual formSoftwareProfessional

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1998

Cite this