Changes between Version 59 and Version 60 of References


Ignore:
Timestamp:
Nov 23, 2013, 8:08:55 PM (6 years ago)
Author:
Gedare
Comment:

/* Published in 2012 */

Legend:

Unmodified
Added
Removed
Modified
  • References

    v59 v60  
    115115 *  BO, NSLS-II. "BEAM DIA.", [http://epaper.kek.jp/rupac2012/papers/frxor02.pdf]
    116116
    117  *  Guo, Yu, Xinyu Feng, Zhong Shao, and Peizhi Shi. "Modular Verification of Concurrent Thread Management." In Programming Languages and Systems, pp. 315-331. Springer Berlin Heidelberg, [http://link.springer.com/chapter/10.1007/978-3-642-35182-2_23], [http://kyhcs.ustcsz.edu.cn/~guoyu/sched/sched.pdf]
    118 
    119117 *  Sousa, Valentim, Paulo Ferreira, and Manuel Gericota. "Hey Fellows, We Shrunk the Server." iJOE 8, no. S2 (2012): 36-41., [http://ave.dee.isep.ipp.pt/~mgg/papers/ijoe12.pdf]
    120118