Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems Conferences

Overview
Research
Identity
Additional Document Info
View All

authors

Aguirre, Nazareno
Maibaum, Thomas

status

published

publication date

2003

has subject area

Artificial Intelligence & Image Processing (Science Metrix)

published in

Lecture Notes in Computer Science Journal

presented at event

International Symposium on Verification - Theory and Practice in honor of the 64th Birthday of Zohar Manna Conference