On Model Checking for Real-Time Properties with Durations (1993)

Cached

Download Links

by Ahmed Bouajjani , Rachid Echahed , Joseph Sifakis
Citations:18 - 3 self