Publication:4222863
From MaRDI portal
zbMath0912.68098MaRDI QIDQ4222863
José Meseguer, Peter Csaba Ölveczky
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#om
Related Items
Specification of real-time and hybrid systems in rewriting logic, Rewriting logic: Roadmap and bibliography