No. Title Author Year
1 Concurrent Data Structures Linked in Time Delbianco, Germán Andrés et al. 2017
2 Concurrent Data Structures Linked in Time (Artifact) Delbianco, Germán Andrés et al. 2017
3 Relational Logic with Framing and Hypotheses Banerjee, Anindya et al. 2016
4 03411 Final Report -- Language Based Security Banerjee, Anindya et al. 2005
5 03411 Abstracts Collection -- Language Based Security Banerjee, Anindya et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 5


DROPS-Home | Fulltext Search | Imprint Published by LZI