On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$ - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Naima Jbeli, Zohra Sbaï, Rahma Ben Ayed. On the Fly Model-Checking of TPN: $$TPN-TCTL^{\varDelta }_{h}$$. In Álvaro Rocha, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors, Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]. Volume 746 of Advances in Intelligent Systems and Computing, pages 441-451, Springer, 2018. [doi]

This author has not been identified. Look up 'Naima Jbeli' in GoogleThis author has not been identified. Look up 'Zohra Sbaï' in GoogleThis author has not been identified. Look up 'Rahma Ben Ayed' in Google

runs on WebDSL