Contains the keyword temporal logic

Vörös A, Darvas D, Bartha T. Bounded saturation-based CTL model checking. Proceedings of the Estonian Academy of Sciences. 2013;62(1):12.
Syndicate content