E. Allen Emerson (Q92821)
From The Right Wiki
Jump to navigationJump to search
American computer scientist (1954–2024)
- Ernest Allen Emerson
- Allen Emerson
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | E. Allen Emerson |
American computer scientist (1954–2024) |
|
Statements
nb99152470
40252505
1 reference
E. Allen Emerson (English)
21 October 2024
Q1164390 (Deleted Item)
1998
For their invention of symbolic model checking, a method of formally checking system designs, which is widely used in the computer hardware industry and is beginning to show significant promise also in software verification and other areas. (English)
0 references
0 references
0 references
biography/Ernest-Allen-Emerson
E. Allen Emerson
William L. Hosch
0 references
e/EAllenEmerson
0 references
81452614401
0 references
7006360379
0 references
emerson.e-allen
0 references
198036892
1 reference
Q6581097 (Deleted Item)
1 reference
Q15995469 (Deleted Item)
0 references
xx0042097
0 references
987007439310505171
0 references
.jpg){kind=link}
14550
0 references
254631320
0 references
Q13561066 (Deleted Item)
0 references
E39PBJbGWBqQv9cFk9g3MQjt8C
0 references
Q8487137 (Deleted Item)
0 references
2423730
0 references
1028534892
0 references
45865
1 reference
ncf11320303
1 reference
DA12735911
Emerson, E. Allen
2 references
02-A006089058
1 reference
15 October 2024
70 http://www.wikidata.org/entity/Q24564698
1 reference
We bid farewell to E. Allen Emerson (English)
October 2024
19 October 2024
Ernest Allen Emerson (English)
0 references
Q4027615 (Deleted Item)
1 reference
Q115154791 (Deleted Item)
1 reference
E. Allen Emerson
0 references