Clarke, Edmund M., 1945-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Clarke, E. M., 1945-
Clarke, Edmund Mellon (1945- ).
Clarke, Edmund
Clarke, Edmund Melson 1945-....
VIAF ID: 8050749 (Personal)
Permalink: http://viaf.org/viaf/8050749
ISNI-test: 0000 0001 2119 7648
Preferred Forms
-
100 1 _ ‡a Clarke, E. M., ‡d 1945-
-
100 1 _
‡a
Clarke, Edmund M.,
‡d
1945-....
-
100 1 _
‡a
Clarke, Edmund
-
100 1 _
‡a
Clarke, Edmund M.
‡d
1945-...
-
100 1 0
‡a
Clarke, E. M.,
‡d
1945-
-
100 1 _ ‡a Clarke, Edmund M., ‡d 1945-
-
100 1 _
‡a
Clarke, Edmund M.
‡d
1945-
-
100 1 _ ‡a Clarke, Edmund Mellon ‡d (1945- ).
-
200 _ |
‡a
Clarke
‡b
Edmund Melson
‡f
1945-....
4xx's: Alternate Name Forms (15)
Works
| Title | Sources |
|---|---|
| Computer-aided verification '90 : proceedings of a DIMACS workshop, June 18-21, 1990 |
|
| 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 |
|
| Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers |
|
| 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 |
|
