Peled, Doron, 1962-
From Library of Congress Name Authority File
Peled, Doron, 1962-
URI(s)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Exact Matching Concepts from Other Schemes
Sources
- found: Partial order methods in verification, 1997: CIP t.p. (Doron Peled) data sheet (b. 4-10-62)
- found: Workshop on the SPIN Verification System, 1997: CIP t.p. (Doron A. Peled)
Change Notes
- 1996-10-31: new
- 1996-12-31: revised
Alternate Formats
