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

by Peter Csaba Ölveczky
Citations:12 - 4 self