An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
Khamespanah, Ehsan, Khosravi, Ramtin, Sirjani, MarjanVolume:
153
Language:
english
Journal:
Science of Computer Programming
DOI:
10.1016/j.scico.2017.11.004
Date:
February, 2018
File:
PDF, 985 KB
english, 2018