Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems

@inproceedings{lveczky2010ProceedingsFI,
  title={Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems},
  author={Peter Csaba {\~O}lveczky},
  year={2010}
}
This volume contains the proceedings of the First International Workshop on Rewriting Techniques for Real-Time Systems (RTRTS 2010), held in Longyearbyen, Spitsbergen, on April 6-9, 2010. The aim of the workshop is to bring together researchers with an interest in the use of rewriting-based techniques (including rewriting logic) and tools for the modeling, analysis, and/or implementation of real-time and hybrid systems, and to give them the opportunity to present their recent works, discuss…