{"paper":{"title":"Proceedings First International Workshop on Rewriting Techniques for Real-Time Systems","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Peter Csaba \\\"Olveczky (University of Oslo)","submitted_at":"2010-09-21T02:19:53Z","abstract_excerpt":"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. \n  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 future  research directions, and exchange ideas. The topics of the workshop comprise, but are not"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1009.3982","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"}