Holzmann, Gerard J.
Enlarge text Shrink text-
Personality
|
System number
987007441936405171
-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Name (Latin)
Holzmann, Gerard J.
Date of birth
1951-11-12
Gender
male
MARC
MARC
Sources of Information
- His Beyond photography, c1988:CIP t.p. (Gerard J. Holzmann; AT&T Bell Laboratories, Murray Hill, N.J.)
- The early history of data networks, 1994:CIP t.p. (Gerard J. Holzmann) data sheet (b. 11-12-51)
1 / 1
.jpg)
Gerard J. Holzmann FLoC 2006 (cropped)
Dennis Hamilton, CC BY 2.0
Wikipedia description:
Gerard J. Holzmann (born 1951) is a Dutch-American computer scientist and researcher at Bell Labs and NASA, best known as the developer of the SPIN model checker.
Read more on Wikipedia >