cloud10by5-105.ltl.reduced 103 Bytes
Newer Older
Jaime Arias's avatar
Jaime Arias committed
1
((ServerContainer) || !(SwContainer) || <>!(Wsr3Deployed)) <-> []((Wsr3Deployed) || [](WebAppRuntime))