scientific article
From MaRDI portal
Publication:2851539
zbMath1273.68231MaRDI QIDQ2851539
Publication date: 10 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104050844
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Multi-Valued Reasoning about Reactive Systems ⋮ Latticed-LTL synthesis in the presence of noisy inputs ⋮ Latticed Simulation Relations and Games ⋮ Multi-valued Verification of Strategic Ability
This page was built for publication:
