Search results for: Paul Mukherjee
Lecture Notes in Computer Science > FME '97: Industrial Applications and Strengthened Foundations of Formal Methods > 258-277
Formal Aspects of Computing > 2000 > 12 > 4 > 216-217
Real-Time Systems > 1998 > 14 > 2 > 183-202