Edmund M. Clarke
Informatiker
Geboren:
27. Juli 1945,
Newport News, Va.
Gestorben:
22. Dezember 2020,
Mount Lebanon, NY
Creative Commons Attribution 2.0
Werke:
- Temporal logics for distributed systems : paradigms and algorithms ; 10.10.1999 - 15.10.1999
- Combining local and global model checking
- Logic for programming, artificial intelligence, and reasoning : 16th international conference ; revised selected papers
- Perspectives of systems informatics : revised selected papers
Externe Links:
- Gemeinsame Normdatei (GND) im Katalog der Deutschen Nationalbibliothek
- International Standard Name Identifier (ISNI)
- Bibliothèque nationale de France
- Wikipedia (Deutsch)
- Wikipedia (English)
- NACO Authority File
- Virtual International Authority File (VIAF)
- Wikidata
- International Standard Name Identifier (ISNI)