Timed rewriting logic with an application to object-based specification
From MaRDI portal
Publication:1356938
DOI10.1016/S0167-6423(96)00024-XzbMath0877.68071MaRDI QIDQ1356938
Martin Wirsing, Piotr Kosiuczenko
Publication date: 8 December 1997
Published in: Science of Computer Programming (Search for Journal in Brave)
Related Items
Specification of real-time and hybrid systems in rewriting logic, Rewriting logic: Roadmap and bibliography
Uses Software