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]
Abstract is missing.