scientific article
From MaRDI portal
Publication:3012526
zbMath1272.03091MaRDI QIDQ3012526
M. A. Reynolds, I. M. Hodkinson
Publication date: 6 July 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Social bot detection as a temporal logic model checking problem ⋮ Separation logics and modalities: a survey ⋮ Synthesis for continuous time
This page was built for publication:
