Dines Bjørner. What Is an Infrastructure? Towards an Informatics Answer. 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 173-190, Springer, 2002. [doi]
@inproceedings{Bjorner02,
title = { What Is an Infrastructure? Towards an Informatics Answer},
author = {Dines Bjørner},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2757&spage=173},
researchr = {https://researchr.org/publication/Bjorner02},
cites = {0},
citedby = {0},
pages = {173-190},
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},
}