Search results for: Alex Aiken
Lecture Notes in Computer Science > Static Analysis > 236-252
Lecture Notes in Computer Science > CONCUR 2006 – Concurrency Theory > Minimization and Equivalence Checking > 218-232
Lecture Notes in Computer Science > Recent Advances in Intrusion Detection > Anomaly Detection > 360-381
Formal Methods in System Design > 2016 > 48 > 3 > 235-256