Search results for: Fatemeh Kazemeyni
Lecture Notes in Computer Science > Formal Techniques for Distributed Systems > Joint DisCoTec Session > 95-109
Journal of Logic and Algebraic Programming > 2012 > 81 > 3 > 284-297
Electronic Notes in Theoretical Computer Science > 2011 > 274 > Complete > 67-81