Search results
Journal of Software: Evolution and Process > 36 > 4 > n/a - n/a
Lecture Notes in Computer Science > Theory and Applications of Models of Computation > Contributed Lectures > 47-58
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Automated Analysis > 246-265
Lecture Notes in Computer Science > Formal Methods and Software Engineering > Theorem Proving and Decision Procedures > 90-105
Chinese Journal of Electronics > 2016 > 25 > 2 > 234 - 240
Theoretical Computer Science > 2016 > 609 > P3 > 544-560
Theoretical Computer Science > 2014 > 554 > Complete > 169-190