scientific article; zbMATH DE number 2112985
From MaRDI portal
Publication:4824484
zbMath1082.68068MaRDI QIDQ4824484
Publication date: 1 November 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Related Items (2)
Periodicity based decidable classes in a first order timed logic ⋮ From Logic to Theoretical Computer Science – An Update
Uses Software
This page was built for publication:
