Search results for: S. Andova
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Timed and Probabilistic Systems > 204-219
Lecture Notes in Computer Science > Leveraging Applications of Formal Methods, Verification, and Validation > Quantitative Verification in Practice > 143-159
Science of Computer Programming > 2014 > 94 > Part 3 > 333-361
Science of Computer Programming > 2011 > 76 > 8 > 711-735
Electronic Notes in Theoretical Computer Science > 2009 > 255 > Complete > 23-44
Electronic Notes in Theoretical Computer Science > 2009 > 229 > 2 > 3-20
Electronic Notes in Theoretical Computer Science > 2005 > 128 > 2 > 53-66