Jayesh N. Gada

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

Publications

Rance Cleaveland, Jayesh N. Gada, Philip M. Lewis, Scott A. Smolka, Oleg Sokolsky, Shipei Zhang
The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems. Specification of Parallel Algorithms (1994)