A transformational method for verifying safety properties in real-time systems

Abstract
No abstract available

This publication has 10 references indexed in Scilit: