Search results for: Andrew Gacek
IEEE Software > 2016 > 33 > 4 > 22 - 25
Lecture Notes in Computer Science > Automated Reasoning > Session 5: System Descriptions 1 > 154-161
Lecture Notes in Computer Science > Automated Deduction – CADE-21 > Session 10. Model Checking and Verification > 391-397
Journal of Automated Reasoning > 2016 > 57 > 4 > 281-318
IEEE Software > 2013 > 30 > 2 > 54 - 60
Journal of Automated Reasoning > 2012 > 49 > 2 > 241-273
Information and Computation > 2011 > 209 > 1 > 48-73
Electronic Notes in Theoretical Computer Science > 2009 > 228 > Complete > 85-100