scientific article; zbMATH DE number 5587267
From MaRDI portal
Publication:5190775
zbMath1177.03028MaRDI QIDQ5190775
Pavithra Prabhakar, Raj Mohan M., Deepak D'Souza
Publication date: 27 July 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44)
Related Items (3)
On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}$ Using Temporal Projections] ⋮ On the expressiveness of TPTL and MTL ⋮ Model-checking Timed Temporal Logics
This page was built for publication:
