Spiral


This item's full text has been downloaded 2 times in the last 11 months.
 

Files in This Item:

File Description SizeFormat
synchronous-fltl.pdfAccepted version308.42 kBAdobe PDFView/Open
Title: Fluent temporal logic for discrete-time event-based models
Author(s): Letier, E
Kramer, J
Magee, J
Uchitel, S
Item Type: Conference Paper
Issue Date: 2005
URI: http://hdl.handle.net/10044/1/5890
Publisher Link: http://doi.acm.org/10.1145/1095430.1081719
ISBN: 1-5959-3014-0
9781595930149
Publisher: ACM
Presented At: ESEC-FSE 2005, the Joint 10th European Software Engineering Conference
Published Proceedings: Proceedings of the 10th European software engineering conference
Start Page: 70
End Page: 79
Copyright Statement: © ACM, 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in PROCEEDINGS OF THE 10TH EUROPEAN SOFTWARE ENGINEERING CONFERENCE,(2005) http://doi.acm.org/10.1145/1095430.1081719
URI: http://hdl.handle.net/10044/1/5890
Conference Location: Lisbon, Portugal
Appears in Collections:Distributed Software Engineering



Please use this identifier to cite or link to this item:  http://hdl.handle.net/10044/1/5890

This item is licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

CC

Items in Spiral are protected by copyright, with all rights reserved, unless otherwise indicated.

Not all publications are available to view. For a full list of publications by a specific author please search the College Directory