Changes between Version 112 and Version 113 of WikiStart


Ignore:
Timestamp:
08/31/18 16:36:50 (8 years ago)
Author:
wuwenhao
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • WikiStart

    v112 v113  
    2424== Documents & Publications ==
    2525
    26 * [https://vsl.cis.udel.edu/lib/sw/civl/1.17.1/r4987/release/civl-manual-1.17.1_4987.pdf  Manual for CIVL v1.17.1]
     26* [https://vsl.cis.udel.edu/lib/sw/civl/civl-manual.pdf  Manual for CIVL v1.17.1]
    2727* [https://vsl.cis.udel.edu/pubs/civl_sc_2015.html CIVL: The Concurrency Intermediate Verification Language]
    2828* [https://vsl.cis.udel.edu/lib/downloads/ltspor_2018.pdf Technical Report: Ample Set Partial Order Reduction for Actions ]