scientific article
From MaRDI portal
Publication:2703709
zbMath0962.68109MaRDI QIDQ2703709
José Meseguer, Peter Csaba Ölveczky
Publication date: 7 May 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (8)
Rewriting logic: Roadmap and bibliography ⋮ Semantics and pragmatics of real-time maude ⋮ An Assertional Language for the Verification of Systems Parametric in Several Dimensions ⋮ Unnamed Item ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Towards Behavioral Maude ⋮ Maude: specification and programming in rewriting logic ⋮ Specification of real-time and hybrid systems in rewriting logic
Uses Software
This page was built for publication:
