(70steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc

At: P causal switchable0 1
1. E: EventStruct

safetyR(E) preserves Causal(E)
By: Easy
Generated subgoals:

None

About:
list

(70steps) PrintForm Definitions Lemmas mb hybrid Sections GenAutomata Doc