Extension of the modle-checker Spin for the specification and verification of real-time properties

Research output: Non-textual formSoftwareProfessional

Original languageEnglish
PublisherTechnische Universiteit Eindhoven
Publication statusPublished - 1998

Cite this