Yoeli, Michael, 1917-
URI(s)
Additional Information
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: His Formal verification of hardware design, 1990:CIP t.p. (Michael Yoeli)
- found: Digitial networks, 1976:t.p., etc. (Michael Yoeli; b. 1917)
- found: LC data base, 07-30-90(hdg.: Yoeli, Michael, 1917-)
- found: Verification of systems and circuits using LOTOS, Petri Nets, and CCS, 2008:E-CIP t.p. (Michael Yoeli) data v. (b. Aug. 30, 1917)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1990-08-01: new
- 2007-08-13: revised
Alternate Formats
