Holzmann, Gerard J.
Holzmann, Gerard J., 1951-....
Gerard Holzmann Nederlands informaticus
Holzmann, Gerard (Gerard Johan), 1951-
VIAF ID: 5080653 ( Personal )
Permalink: http://viaf.org/viaf/5080653
Preferred Forms
- 100 0 _ ‡a Gerard Holzmann ‡c Nederlands informaticus
- 200 _ | ‡a Holzmann ‡b Gerard J. ‡f 1951-....
- 100 1 _ ‡a Holzmann, Gerard J
-
-
- 100 1 _ ‡a Holzmann, Gerard J.
-
- 100 1 _ ‡a Holzmann, Gerard J.
-
-
- 100 1 _ ‡a Holzmann, Gerard J.
-
- 100 1 _ ‡a Holzmann, Gerard J. ‡d 1951-
- 100 1 _ ‡a Holzmann, Gerard J., ‡d 1951-....
-
4xx's: Alternate Name Forms (11)
Works
Title | Sources |
---|---|
Beyond photography, c1988: | |
Coordination problems in multiprocessing systems | |
Design and validation of computer protocols | |
The early history of data networks | |
(Kern)bewapening tegen beter weten in | |
Konpyūta purotokoru no sekkeihō | |
n88074098 | |
NASA Formal Methods Third International Symposium, NFM 2011, Pasadena, CA, USA, April 18-20, 2011. Proceedings | |
Partial order methods in verification : DIMACS workshop July 24-26, 1996 | |
The Spin model checker : primer and reference manual | |
The SPIN verification system : the second Workshop on the SPIN Verification System : proceedings of a DIMACS workshop, August 5, 1996 | |
v-Promela A Visual, Object-Oriented Language for SPIN | |
コンピュータプロトコルの設計法 : 正しいプロトコルの設計と検証へ導く総合解說書 |