scientific article
From MaRDI portal
zbMath1273.03062MaRDI QIDQ3408140
No author found.
Publication date: 24 February 2010
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
First-order temporal verification in practice, Complexity of monodic guarded fragments over linear and real time