Symbolic methods and tools for discrete event dynamic systems
By: Johan Gunnarsson
Contributors: Universitetet i Linköping
Published: 1997
Language: eng
Number of pages: 250
Notes: Thesis (doctoral)--Linköping University, 1997.