Publication: Techniques for runtime monitoring and static verification of concurrent software
Files
Program
Computer Engineering
KU-Authors
KU Authors
Co-Authors
Authors
Advisor
Qadeer, Shaz
YĆK Thesis ID
Approval Date
Publication Date
Language
Type
Embargo Status
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
Source
Publisher
KoƧ University
Subject
Programming languages (Electronic computers), Java (Computer program language)
Citation
Has Part
Source
Book Series Title
Edition
DOI
item.page.datauri
Link
Rights
restrictedAccess
Copyrights Note
Ā© All Rights Reserved. Accessible to KoƧ University Affiliated Users Only!