Disambiguation evidence for Temporal Verification of Reactive Systems via surface form
"Temporal Verification of Reactive Systems"
Triples (1)
Triples where some other subject referred to this entity
as "Temporal Verification of Reactive Systems".
Zohar Manna
→
authorOf
→
"Temporal Verification of Reactive Systems"
ⓘ
↳ resolves to Temporal Verification of Reactive Systems