Locative temporal logic and distributed real-time systems: specification

Fulltext present in this item

Format: PDF

Description: publisher's version

Title:	Locative temporal logic and distributed real-time systems: specification
Author(s):	Wieczorek, M.J.
Publication year:	1994
Publisher:	[Nijmegen : Katholieke Universiteit Nijmegen, Vakgroep Informatica]
ISBN:	9037302572
Number of Pages:	XXII, 248 p.
Annotation:	Promotores : J. Vytopil en J. Meyer
Publication type:	Dissertation
Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/145833
Display more details
Organization:	Faculty of Science

Academic publications [179498]
Academic output Radboud University
Electronic publications [83179]
Freely accessible full text publications plus those not yet available due to embargo
Dissertations [11103]
Open Access publications [53814]
Freely accessible full text publications
Faculty of Science [27681]