Search results for: R. K. Shyamasundar
Concurrency and Computation: Practice and Experience > 31 > 5 > n/a - n/a
Lecture Notes in Computer Science > Hardware and Software: Verification and Testing > Hardware Verification > 34-50
Lecture Notes in Computer Science > FM’99 — Formal Methods > European Theory and Practice of Software (ETAPS) > 983-1007
Lecture Notes in Computer Science > Computer Safety, Reliability and Security > Formal Methods > 431-444
Lecture Notes in Computer Science > Distributed Computing and Internet Technology > Formal Methods > 508-521
Lecture Notes in Computer Science > Concurrency and Parallelism, Programming, Networking, and Security > 309-320
Lecture Notes in Computer Science > High Performance Computing — HiPC 2002 > Architecture I > 112-123
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making > Invited Papers > 452-467
Lecture Notes in Computer Science > Static Analysis > 243-260