Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Pantazis Deligiannis
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers (T)
Asynchronous Programming, Analysis and Testing With State Machines
