𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting

✍ Scribed by Bae, Kyungmin; Meseguer, José

Book ID
121981545
Publisher
Elsevier Science
Year
2012
Tongue
English
Weight
316 KB
Volume
290
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rewr
[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || K-Maude: A Rewriting Based Tool for Semantics of Programming Languages
✍ Ölveczky, Peter Csaba 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 281 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Rewriting Logic And Its Applications, Wrla 2010, Held As A Satellite Event Of Etaps 2010, Paphos, Cyprus, In March 2010. The 13 Revised Full Papers Presented Were Carefully Reviewed And Selected From 29 Submissions.