Search results for: K. Sere
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 85-104
Lecture Notes in Computer Science > FME'96: Industrial Benefit and Advances in Formal Methods > 105-119
Science of Computer Programming > 2005 > 55 > 1-3 > 259-288
Science of Computer Programming > 1998 > 31 > 2-3 > 313-334
Formal Methods in System Design > 1998 > 13 > 1 > 5-35
Information Processing Letters > 1996 > 60 > 2 > 67-74
Science of Computer Programming > 1996 > 26 > 1-3 > 79-97