Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Laura Bozzelli, Alberto Molinari, Angelo Montanari, Adriano Peron, Pietro Sala. Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy. Inf. Comput., 262(Part):241-264, 2018. [doi]

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL