Memory model specific verification of safety properties of concurrent programs

No Thumbnail Available

Files

TH-5227.pdf (406.95 KB)

Date

2017

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

XXX

Citation

URI

http://10.17.50.146:4000/handle/123456789/2485

Collections

Department of Computer Science and Engineering

Endorsement

Review

Supplemented By

Referenced By