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

by Peter Csaba Ölveczky
Citations:10 - 3 self