scientific article

zbMath1273.68191MaRDI QIDQ2852055

Bilel Derbel, Mohamed Mosbah

Publication date: 7 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106003148

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Distributed algorithms (68W15)

Related Items (1)

Workshop on Graph Computation Models

This page was built for publication: