Skip to content
GitLab
Switch branch/tag
Find file Normal viewHistoryPermalink
cloud10by5-100.ltl.reduced 112 Bytes
Newer Older
Jaime Arias's avatar
Initial commit  
Jaime Arias committed
1 
!(WebAppRuntime) || (Wsr3Started) || <>((ScStopped) -> !((WebAppRuntime) <-> ((WSRuntime1) <-> (Wsr2Started))))