Skip to main content
Columbia University Libraries
Academic Commons
search for
Search
About
Explore
Log In
Upload
Your Research
Academic Commons
Toggle facets
Refine your search
Author
Edwards, Stephen A.
1
Smith, Dave Aaron
[remove]
1
Vasudevan, Nalini
1
Academic Unit
Computer Science
1
Subject
Computer science
1
Type
Reports
1
Date Published
2008
1
Series
Columbia University Computer Science Technical Reports
1
Language
English
1
Search Constraints
Start Over
You searched for:
Author
Smith, Dave Aaron
Remove constraint Author: Smith, Dave Aaron
1
entry found
Sort by Best Match
Best Match
Published Latest
Published Earliest
Title A-Z
Title Z-A
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
Search Results
1.
Static Deadlock Detection in SHIM with an Automata Type Checking System
Vasudevan, Nalini; Edwards, Stephen A.; Smith, Dave Aaron
2008
Reports
Computer science