Clarke, Edmund M., 1945-....
Clarke, Edmund
Clarke, Edmund Mellon (1945- ).
Clarke, Edmund Melson 1945-....
Clarke, E. M., 1945-
VIAF ID: 8050749 (Personal)
Permalink: http://viaf.org/viaf/8050749
Preferred Forms
-
100 1 _ ‡a Clarke, Edmund M. ‡d 1945-
-
100 1 _ ‡a Clarke, Edmund M., ‡d 1945-....
-
200 _ | ‡a Clarke ‡b Edmund Melson ‡f 1945-....
-
100 1 _ ‡a Clarke, Edmund
-
100 1 _ ‡a Clarke, E. M., ‡d 1945-
-
100 1 _ ‡a Clarke, Edmund Mellon ‡d (1945- ).
-
100 1 _ ‡a Clarke, Edmund M., ‡d 1945-
-
100 1 _ ‡a Clarke, Edmund
4xx's: Alternate Name Forms (10)
Selected Titles
- Verification of infinite-state systems with applications to security
(5)
- Logics of programs Workshop, Carnegie-Mellon University, Pittsburgh, PA, June 6-8, 1983
(4)
- Model checking
(2)
- Verification of infinite-state systems with applications to security
(1)
- Temporal logics for distributed systems paradigms and algorithms ; 10.10.1999 - 15.10.1999
(1)
- Perspectives of systems informatics 8th International Andrei Ershov Memorial Conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011 : revised selected papers
(1)
- PSI 2011
(1)
- Model checking
(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)
