Adriaan de Groot Nederlands ingenieur
Groot, A.L. de
Groot, A.L. de (Adriaan), informatica, 1973-
VIAF ID: 284564789 ( Personal )
Permalink: http://viaf.org/viaf/284564789
Preferred Forms
4xx's: Alternate Name Forms (3)
Works
Title | Sources |
---|---|
Analyzing the light control system with PVS | |
Practical automaton proofs in PVS | |
A taxonomy of reactive systems |