Search results for: D. Kapur
Formal Methods for Embedded Distributed Systems > Building and Validating Conceptual Aspects > 25-64
Formal Methods for Embedded Distributed Systems > Building and Validating Conceptual Aspects > 25-64
European Journal of Pain > 17 > 1 > 101 - 110
Journal of Symbolic Computation > 2007 > 42 > 4 > 443-476
Science of Computer Programming > 2007 > 64 > 1 > 54-75
Journal of Symbolic Computation > 2004 > 38 > 2 > 915-958
International Urogynecology Journal > 2002 > 13 > 6 > 383-385
New Generation Computing > 1997 > 15 > 3 > 293-338
Computers and Mathematics with Applications > 1995 > 29 > 2 > 91-114