scientific article; zbMATH DE number 6179148
From MaRDI portal
Publication:4926927
zbMath1274.03035MaRDI QIDQ4926927
Publication date: 20 June 2013
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear temporal logictransition systemdiscrete-time Markov chainslogic metric spacesatisfaction degree
This page was built for publication: