The model checking fingerprints of CTL operators
Krebs, Andreas, Meier, Arne, Mundhenk, MartinLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-018-0326-9
Date:
August, 2018
File:
PDF, 1.17 MB
english, 2018