Locative temporal logic and distributed real-time systems: specification

Thumbnail
Fulltext:
mmubn000001_185434134.pdf
Size:
20.19Mb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
1994
Author(s)
Wieczorek, M.J.
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   https://hdl.handle.net/2066/145833
Display more details

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.