Disambiguation evidence for Gerard J. Holzmann via surface form

"Gerard J. Holzmann"

Triples (7)

Triples where some other subject referred to this entity as "Gerard J. Holzmann".

Rajeev Alur → coAuthor →
"Gerard J. Holzmann"
↳ resolves to Gerard J. Holzmann
ⓘ
CAV Award → notableRecipient →
"Gerard J. Holzmann"
↳ resolves to Gerard J. Holzmann
ⓘ
SPIN → originallyDevelopedBy →
"Gerard J. Holzmann"
↳ resolves to Gerard J. Holzmann
ⓘ
linked to: SPIN model checker
SPIN → developer →
"Gerard J. Holzmann"
↳ resolves to Gerard J. Holzmann
ⓘ
linked to: SPIN model checker
SPIN → documentationAuthor →
"Gerard J. Holzmann"
↳ resolves to Gerard J. Holzmann
ⓘ
linked to: SPIN model checker
SPIN verification tool → developer →
"Gerard J. Holzmann"
↳ resolves to Gerard J. Holzmann
ⓘ
SPIN verification tool → originalAuthor →
"Gerard J. Holzmann"
↳ resolves to Gerard J. Holzmann
ⓘ