Clarke, Edmund M., 1945-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Clarke, Edmund
Clarke, Edmund M.
Clarke, E. M.
Clarke, Edmund Mellon (1945- ).
Clarke, Edmund Melson 1945-....
Clarke, E. M., 1945-
VIAF ID: 8050749 (Personal)
Permalink: http://viaf.org/viaf/8050749
ISNI-test: 0000 0001 2119 7648
Preferred Forms
-
100 1 _
‡a
Clarke, Edmund
(undifferentiated)
(sparse)
-
200 _ |
‡a
Clarke
‡b
Edmund Melson
‡f
1945-....
-
100 1 _
‡a
Clarke, Edmund
-
100 1 _ ‡a Clarke, Edmund (sparse)
-
100 1 _ ‡a Clarke, Edmund Mellon ‡d (1945- ).
-
100 1 _ ‡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 M.
-
100 1 _
‡a
Clarke, E. M.
-
100 1 _ ‡a Clarke, Edmund M., ‡d 1945-
-
100 1 _
‡a
Clarke, Edmund
4xx's: Alternate Name Forms (12)
Selected Titles
- Verification of infinite-state systems with applications to security
(6)
- Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983
(4)
- Model checking
(3)
- Perspectives of Systems Informatics : 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, revised selected papers
(2)
- Temporal logics for distributed systems paradigms and algorithms ; 10.10.1999 - 15.10.1999
(1)
- Perspectives of system informatics revised selected papers
(1)
- PSI 2011
(1)
- Logics of programs
(1)
- Logics of Programs Workshop (1983 : Carnegie Mellon University). Logics of Programs Workshop, Carnegie Mellon Univ., Pittsburgh, PA, June 6-8, 1983, 1984:
(1)
- Logic for programming, artificial intelligence, and reasoning 16th international conference ; revised selected papers
(1)
