scientific article; zbMATH DE number 2162121

zbMath1065.68054MaRDI QIDQ4671952

Zsolt Németh

Publication date: 28 April 2005

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

zbMATH Keywords

design processredesign processparallel Prolog model

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic programming (68N17)

Related Items (1)

Formal verification technique for grid service chain model and its application

This page was built for publication: