The following pages link to Henny B. Sipma (Q812050):
Displaying 13 items.
- Collecting statistics over runtime executions (Q812051) (← links)
- Deductive verification of alternating systems (Q939163) (← links)
- (Q1589583) (redirect page) (← links)
- Deductive verification of real-time systems using STeP (Q1589585) (← links)
- (Q1878914) (redirect page) (← links)
- Checking finite traces using alternating automata (Q1878915) (← links)
- Decision procedures for term algebras with integer constraints (Q2432767) (← links)
- Constructing invariants for hybrid systems (Q2475635) (← links)
- (Q2753760) (← links)
- (Q2754162) (← links)
- (Q2769578) (← links)
- Generalized temporal verification diagrams (Q2956705) (← links)
- Hybrid Systems: Computation and Control (Q5307949) (← links)
