Real-Time Maude: A Tool for Simulating and Analyzing Real-Time and Hybrid Systems (2000)

Cached

Download Links

by Peter Csaba Ölveczky , José Meseguer , Peter Csaba
Citations:17 - 9 self