Zhou Chaochen. UNU and UNU/IIST. In Bernhard K. Aichernig, T. S. E. Maibaum, editors, Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers. Volume 2757 of Lecture Notes in Computer Science, pages 26-33, Springer, 2002. [doi]
@inproceedings{Chaochen02,
title = {UNU and UNU/IIST},
author = {Zhou Chaochen},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2757&spage=26},
researchr = {https://researchr.org/publication/Chaochen02},
cites = {0},
citedby = {0},
pages = {26-33},
booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support, 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002, Revised Papers},
editor = {Bernhard K. Aichernig and T. S. E. Maibaum},
volume = {2757},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20527-6},
}