File:Aspectltl-tracing-aosd12.pdf

From AspectLTL Wiki Page
Revision as of 07:21, 16 February 2012 by Yaniv (Talk | contribs) (AOSD 2012 camera ready version of the paper "Two-Way Traceability and Conflict Debugging for AspectLTL Programs")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Aspectltl-tracing-aosd12.pdf(file size: 978 KB, MIME type: application/pdf)

AOSD 2012 camera ready version of the paper "Two-Way Traceability and Conflict Debugging for AspectLTL Programs"

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeDimensionsUserComment
current07:19, 4 July 2015 (978 KB)Yaniv (Talk | contribs)
07:21, 16 February 2012 (978 KB)Yaniv (Talk | contribs)AOSD 2012 camera ready version of the paper "Two-Way Traceability and Conflict Debugging for AspectLTL Programs"
  • You cannot overwrite this file.

The following page links to this file: