scientific article; zbMATH DE number 1497815
From MaRDI portal
Publication:4499235
zbMath0966.68130MaRDI QIDQ4499235
José Meseguer, Francisco Durán
Publication date: 4 March 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Rewriting logic: Roadmap and bibliography, Structured theories and institutions, Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, Towards Behavioral Maude
Uses Software