Tag Archive | Real-Time

Paper accepted

Our paper “Timed CTL Model Checking in Real-Time Maude” was accepted at WRLA’12.