Tag Archive | Model

Paper accepted

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