Modal Action Logics for Reasoning about Reactive Systems

J. Broersen

Research output: Thesis › PhD Thesis - Research external, graduation external

Original language	Undefined
Awarding Institution	Vrije Universiteit
Supervisors/Advisors	Wieringa, Roelf Johannes, Supervisor Meyer, J.J.C., Supervisor, External person van de Riet, R.P., Supervisor, External person
Award date	25 Feb 2003
Place of Publication	Amsterdam
Publisher	SIKS Research School
Print ISBNs	90-9016611-4
Publication status	Published - 25 Feb 2003

Keywords

@phdthesis{19cf405e21234836a8c3ef6ff78e4951,

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

keywords = "METIS-216297",

author = "J. Broersen",

year = "2003",

month = feb,

day = "25",

language = "Undefined",

isbn = "90-9016611-4",

publisher = "SIKS Research School",

address = "Netherlands",

school = "Vrije Universiteit",

}