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

Cached

Download Links

by Peter Csaba Olveczky , Peter Csaba , José Meseguer
Citations:33 - 17 self

Document Versions

Specification of Real-Time and Hybrid Systems in Rewriting Logic –Peter Csaba Olveczky, Peter Csaba, José Meseguer — 1999