Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
cloud10by5-10.ltl.reduced 114 Bytes
Newer Older
Jaime Arias's avatar
Initial commit  
Jaime Arias committed
1 
(OsAvailable) <-> (!(WSRuntime2) || ([](WebAppRuntime) -> !((WsRuntime3) && []((Bounder2) <-> (ContainerDown)))))