DPF

swMATH12853MaRDI QIDQ24777FDOQ24777

Author name not available (Why is that?)

Described by source

• Model checking database applications

Cited In (2)

• Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy
• Model checking interval temporal logics with regular expressions

This page was built for software: DPF