Terms containing execution times for more complex sequences of events

Subject	English	Russian
progr.	execution times for more complex sequences of events	время выполнения более сложных последовательностей событий (ssn)
progr.	this kind of analysis can also be used to determine execution times for more complex sequences of events	этот вид анализа также может использоваться для определения времени выполнения более сложных последовательностей событий (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)