Lessons Learned from Model Checking a NASA Robot Controller
- 作者Natasha Sharygina; James Browne; Fei Xie; Robert Kurshan; Vladimir Levin
- 卷第25卷
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小578.57KB
- 发表时间2004-09
- DOI10.1023/b:form.0000040029.73127.85
- 页码241-270
La Grèce et les Nations Uniesby S. CALOGEROPOULOS-STRATIS;Egypt and the United Nations. Report of a Study GroupEgyptian Society of International LawReview by: W. Schätzel · Archiv des Völkerrechts · 1958
The United Nations Revisited 8. Jacqueline Belin under the direction of Paul Guggenheim: La Suisse et les Nations Unies. (New York: Manhattan Publishing Company, 1956. Pp. 139. $3.00.) 9. Israel and the United Nations: Report of a Study Group set up by the Hebrew University of Jerusalem. (New York: Manhattan Publishing Company, 1956. Pp. 332. $3.00.) 10. Sweden and the United Nations: Report of a Study Group set up by the Swedish Institute of International Affairs. (New York: Manhattan Publishing Company, 1956. Pp. v, 315. $3.00.) 11. F. H. Soward and Edgar McInnis: Canada and the United Nations. (New York: Manhattan Publishing Company, 1956. Pp. 285. $3.00.) 12. India and the United Nations: Report of a Study Group set up by the Indian Council of World Affairs. (New York: Manhattan Publishing Company, 1957. Pp. xi, 229. $3.00.) 13. S. Calogéropoulos-Stratis, P. A. Argyropoulo, S. Castanos, D. Sidjanski: La Grèce et les Nations Unies. (New York: Manhattan Publishing Company, 1957. Pp. xiii, 190. $3.00.) 14. Egypt and the United Nations: Report of a Study Group set up by the Egyptian Society of International Law. (New York: Manhattan Publishing Company, 1957. Pp. xi, 197. $3.00.)Kertesz, Stephen D. · The Review of Politics · 1958
Islam and the WestReview by: H. S. Deighton · The Journal of African History · 1967
[untitled]Review by: H. S. Deighton · The English Historical Review · 1967
[untitled]Review by: H. S. Deighton · The English Historical Review · 1959
[untitled]Review by: H. S. Deighton · The English Historical Review · 1962
[untitled]Review by: H. S. Deighton · The English Historical Review · 1960
[untitled]Review by: H. S. Deighton · The English Historical Review · 1963
[untitled]Review by: H. S. Deighton · The English Historical Review · 1968
[untitled]Review by: H. S. Deighton · The English Historical Review · 1963
International Wheat Agreements: International Journal of Agrarian AffairsReview by: John R. Raeburn · International Affairs (Royal Institute of International Affairs 1944-) · 1950
Journal of Social and Political Ideas in Japan. Vol. I. No. 1. International Affairs. April 1963Review by: J. A. A. Stockwin · International Affairs (Royal Institute of International Affairs 1944-) · 1964
The Kemsley Manual of JournalismReview by: K. M. L. Simpson · International Affairs (Royal Institute of International Affairs 1944-) · 1951
Moroccan Journal.by Rom LandauReview by: Nina Epton · International Affairs (Royal Institute of International Affairs 1944-) · 1952
Notes for a Journal.by Maxim LitvinovReview by: C. G. · International Affairs (Royal Institute of International Affairs 1944-) · 1956
The Sword's Fierce Edge: A Journal of the Occupation of Greece, 1941-1944.by Jeanne Tsatsos; Jean DemosReview by: Kenneth Matthews · International Affairs (Royal Institute of International Affairs 1944-) · 1971
Journal (Etats-Unis 1946).by Andre MauroisReview by: P. E. Baker · International Affairs (Royal Institute of International Affairs 1944-) · 1947
Scottish Journal of Political Economy. Vol. I. March 1954Review by: K. G. · International Affairs (Royal Institute of International Affairs 1944-) · 1954