Specification of Real-Time and Hybrid Systems in Rewriting Logic (1999)

Cached

Download Links

by Peter Csaba Olveczky , Peter Csaba , José Meseguer
Citations:41 - 22 self