source: Papers/fopara2013/fopara13.bib

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @3469   7 years mulligan added final zip file commited to easychair
(edit) @3462   7 years campbell Some final changes before submission.
(edit) @3456   7 years mulligan more small changes to bib file, including filling in paolo's qapl …
(edit) @3455   7 years mulligan more space saving. now down to 16 pages + 1 page bibliography
(edit) @3444   7 years mulligan More language changes. At end of file.
(edit) @3443   7 years mulligan More changes, including more missing references (including to CerCo?'s …
(edit) @3442   7 years mulligan Changes up to Section 3. Added missing reference to AbsInt?'s aiT tools.
(edit) @3439   7 years campbell Fiddle references back into one page.
(edit) @3432   7 years campbell Consistently use ll spelling of labelled/labelling.
(edit) @3431   7 years campbell Note the specification language in Sec 3.
(add) @3339   8 years tranquil passed biblio to bibtex, and some aesthetical changes
Note: See TracRevisionLog for help on using the revision log.