scientific article; zbMATH DE number 1343481

zbMath0931.68068MaRDI QIDQ4267173

Felix Cornelius

Publication date: 22 September 1999

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

zbMATH Keywords

DeCIFsemantical reference model for distributed systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: