Specification of real-time and hybrid systems in rewriting logic (0)

by P C Ölveczky, J Meseguer
Venue:Theoretical Computer Science