|This item's full text has been downloaded 2 times in the last 10 months.|
Files in This Item:
|Title:||Fluent temporal logic for discrete-time event-based models|
|Item Type:||Conference Paper|
|Presented At:||ESEC-FSE 2005, the Joint 10th European Software Engineering Conference|
|Published Proceedings:||Proceedings of the 10th European software engineering conference|
|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|
|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.
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