scientific article
From MaRDI portal
Publication:2904051
zbMath1254.03025MaRDI QIDQ2904051
Publication date: 5 August 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
linear-time temporal logiclinear-time \(\mu\)-calculusmodal fixed-point logicstutter-invariant fragment
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Temporal logic (03B44)
This page was built for publication:
