Clarke, Edmund M., 1945-....
Clarke, E.M.
Edmund Melson Clarke, Jr.
Clarke, Edmund Mellon (1945- ).
Clarke, E. M., 1945-
Clarke, Edmund M., Jr. (Edmund Melson), 1945-
Clarke, Edmund Melson 1945-....
VIAF ID: 8050749 (Personal)
Permalink: http://viaf.org/viaf/8050749
Preferred Forms
-
200 _ | ‡a Clarke ‡b Edmund Melson ‡f 1945-....
-
-
-
-
100 1 _ ‡a Clarke, Edmund M. ‡d 1945-
-
100 1 _ ‡a Clarke, Edmund M. ‡d 1945-...
-
100 1 _ ‡a Clarke, Edmund M., ‡c Jr. ‡q (Edmund Melson), ‡d 1945-
-
-
100 1 _ ‡a Clarke, Edmund M., ‡d 1945-....
-
-
100 1 _ ‡a Edmund Melson Clarke, Jr.
4xx's: Alternate Name Forms (37)
5xx's: Related Names (2)
- 510 2 _
‡a
Carnegie Mellon University
- 510 2 _
‡a
Carnegie Mellon University
‡e
Affiliation
Works
Title | Sources |
---|---|
Computer-Aided Verification : 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings |
![]() ![]() ![]() ![]() ![]() |
Computer-aided verification / E. M. Clarke, R. P. Kurshan (eds.). - Berlin, 1991. |
![]() |
DIMACS Workshop on Computer-Aided Verification (1990 : Center for Discrete Mathematics and Theoretical Computer Science). Computer-aided verification'90, 1991: |
![]() ![]() |
Guantanamo : if the lights goes out |
![]() |
Logic for Programming, Artificial Intelligence, and Reasoning 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers |
![]() ![]() ![]() |
Logics of Programs : Workshop, Carnegie Mellon University Pittsburgh, PA, June 6–8, 1983 |
![]() ![]() ![]() ![]() |
Model checking |
![]() ![]() ![]() ![]() ![]() ![]() ![]() |
Parallel symbolic computation algorithms |
![]() |
Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers |
![]() ![]() ![]() |
PSI 2011 |
![]() |
Software reliability methods |
![]() |
Temporal logics for distributed systems paradigms and algorithms ; 10.10.1999 - 15.10.1999 |
![]() |
Verification of infinite-state systems with applications to security |
![]() ![]() ![]() |