Modal Action Logics for Reasoning about Reactive Systems

J.M. Broersen

Research output: PhD Thesis › PhD-Thesis - Research and graduation internal

112 Downloads (Pure)

Original language	English
Qualification	PhD
Awarding Institution	Vrije Universiteit Amsterdam
Supervisors/Advisors	Meyer, J-.J.Ch., Supervisor, - van de Riet, R.P., Supervisor Wieringa, R., Supervisor, -
Award date	25 Feb 2003
Print ISBNs	9090166114
Publication status	Published - 2003

Keywords

@phdthesis{edba8bdf56c64f1999064a4704ba62ed,

title = "Modal Action Logics for Reasoning about Reactive Systems",

keywords = "Systeemtheorie, wiskundige logica",

author = "J.M. Broersen",

year = "2003",

language = "English",

isbn = "9090166114",

series = "SIKS dissertation series",

number = "2",

type = "PhD-Thesis - Research and graduation internal",

school = "Vrije Universiteit Amsterdam",

}