scientific article; zbMATH DE number 1231671
From MaRDI portal
Publication:4222999
zbMath0917.68116MaRDI QIDQ4222999
Piotr Kosiuczenko, L. J. Steggles
Publication date: 7 January 1999
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15020
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (4)
Rewriting logic: Roadmap and bibliography ⋮ Twenty years of rewriting logic ⋮ Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool ⋮ Specification of real-time and hybrid systems in rewriting logic
Uses Software
This page was built for publication:
