Fulltext present in this item

Thumbnail
Fulltext: 176101.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Exact Acceleration of Real-Time Model Checking
Author(s): Hendriks, M.; Larsen, K.G.
Publication year: 2002
Source: Electronic Notes in Theoretical Computer Science, vol. 65, iss. 6, (2002), pp. 120-139
ISSN: 1571-0661
DOI: http://dx.doi.org/10.1016/S1571-0661(04)80473-0
Publication type: Article / Letter to editor

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/176101   http://hdl.handle.net/2066/176101

Display more details
Subject: Software Science
Organization: Software Science
Informatics for Technical Applications
Journal title:
Electronic Notes in Theoretical Computer Science
Volume: vol. 65
Issue: iss. 6
Page start: p. 120
Page end: p. 139

This item appears in the following Collection(s)

Browse

Statistics