ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

1 results

TLA+ - The Temporal Logic of Actions
Halt (Break) on Init and Next when the next-state relation is false
0:59
Halt (Break) on Init and Next when the next-state relation is false

23 views

15 hours ago