(Q13412132)
Statements
4 references
27 October 1952
1 reference
2 references
1 reference
1 reference
1 reference
1 reference
1 reference
1981
1 reference
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)
2000
1990
For contributions to switch-level modeling of very-large-scale integrated circuits. (English)
1 reference
Identifiers
1 reference
1 reference
1 reference
1 reference
1 reference
2 references
1 reference
1 reference
21 May 2010
24 August 2018
Sitelinks
Wikipedia(9 entries)
- arwiki راندال براينت
- arzwiki راندال براينت
- azbwiki رندال براینت
- dewiki Randal Bryant
- enwiki Randal Bryant
- fawiki رندال براینت
- frwiki Randal Bryant
- swwiki Randal Bryant
- ukwiki Рендел Брайнт
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Randal Bryant