scientific article; zbMATH DE number 1231552
From MaRDI portal
Publication:4222867
zbMath0912.68024MaRDI QIDQ4222867
Narciso Martí-Oliet, Isabel Pita
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume4.htm#pm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Database theory (68P15) Reliability, testing and fault tolerance of networks and computer systems (68M15)
Related Items (3)
Rewriting logic: Roadmap and bibliography ⋮ Rewriting logic as a semantic framework for concurrency: a progress report ⋮ A Maude specification of an object-oriented model for telecommunication networks
Uses Software
This page was built for publication: