Reactive systems in physical environments
Subtitle: compositional modelling and framework verification
By: Simin Nadjm-Tehrani
Contributors: Universitetet i Linköping. Department of Computer and Information Science
Publisher: Department of Computer and Information Science, Linköping University
Published: 1994
Place of publication: Linköping
Language: eng
Number of pages: 178
Notes: doctoral Linköping University 1994