Specifying real-time properties with metric temporal logic

Ron Koymans(NXP (Netherlands))
Real-Time Systems
November 1, 1990
10.1007/bf01995674
Cited by 1,183

Abstract

Related Papers

No related papers found

Powered by citation graph analysis