Peled, Doron A., 1962-
URI(s)
Variants
- Peled, Doron, 1962-
Additional Information
Birth Date
- 1962-04-10
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Earlier Established Forms
- Peled, Doron, 1962-
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)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1996-10-31: new
- 2014-06-09: revised
Alternate Formats