Locative temporal logic and distributed real-time systems: specification
Fulltext:
mmubn000001_185434134.pdf
Size:
20.19Mb
Format:
PDF
Description:
publisher's version
Publication year
1994Author(s)
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

Display more detailsDisplay less details
Organization
Faculty of Science
This item appears in the following Collection(s)
- Academic publications [202828]
- Dissertations [12257]
- Electronic publications [100957]
- Faculty of Science [31868]
- Open Access publications [69665]
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.