Gerard J. Holzmann was born in 1951.
Gerard J. Holzmann has written: 'The SPIN Model Checker' 'The early history of data networks' -- subject(s): Telegraph, History
Gerard J. Foschini was born in 1940.
Gerard J. Roubichou was born in 1939.
Gerard J. Arpey was born in the United States.
Gerard J. Arpey was born on July 26th, 1958.
K. J. Gerard was born on 1986-04-22.
Johannes Holzmann was born in 1882.
Marcel Holzmann was born on 1990-09-03.
Thomas Holzmann was born on 1987-07-17.
Olly Holzmann was born on October 31, 1915, in Vienna, Austria-Hungary, now Austria.
Abe Holzmann was born on August 19, 1874, in New York City, New York, USA.
Olly Holzmann's birth name is Olga Holzmann.