published journal article
Mathematical logic in the modeling of control systems
IFAC Proceedings Volumes
Publication Date
January 1, 2006
Author(s)
Yannis Pavlis, Will Recker