Modelling object-oriented dynamic systems using a logic based framework
By: Choong-ho Yi
Contributors: Universitetet i Linköping
Published: 2002
Language: eng
Number of pages: 150
Notes: Thesis (doctoral)--Linköping University, 2002.