Search results for: Mana Taghdiri
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 240-256
Automated Software Engineering > 2007 > 14 > 1 > 87-121
Lecture Notes in Computer Science > Formal Techniques for Networked and Distributed Systems - FORTE 2003 > 240-256
Automated Software Engineering > 2007 > 14 > 1 > 87-121