Search results for: B. Meenakshi
Concurrency and Computation: Practice and Experience > 35 > 28 > n/a - n/a
Journal of Electrical Engineering & Technology > 2019 > 14 > 2 > 733-746
Journal of Pediatric Urology > 2017 > 13 > 5 > 489.e1-489.e5
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Formal Methods > 268-282
Lecture Notes in Computer Science > FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science > Contributed Papers > 256-267
2007 IEEE/AIAA 26th Digital Avionics Systems Conference > 2.C.1-1 - 2.C.1-11
Computer Languages, Systems & Structures > 2004 > 30 > 3-4 > 171-206