Semantic Reduction of Thread Interleavings in Concurrent Programs Conference Proceeding

Overview

CU Boulder Authors

Sankaranarayanan, Sriram

publication date

March 22, 2009

Date in CU Experts

January 7, 2021 6:19 AM

Full Author List

Kahlon V; Sankaranarayanan S; Gupta A

Full Editor List

Kowalewski S; Philippou A

author count

3

citation count

13

published in

Lecture Notes in Artificial Intelligence Journal

presented at event

15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems held at Joint European Conferences on Theory and Practice of Software Conference

Other Profiles

International Standard Serial Number (ISSN)

0302-9743

International Standard Book Number (ISBN) 13

978-3-642-00767-5

Additional Document Info

start page

124

end page

138

volume

5505