Synthesizing distributed implementation from global specification (R)
Das, Rathish
Synthesizing distributed implementation from global specification (R) - - Mumbai IIT 2011 - xi,63 p. 30 cm - .
Adsul, Bharat G.
Theses and Dissertations
Electronic data processing-Distributed processing , Automata
043:681.327.8:681.3.06Das
Synthesizing distributed implementation from global specification (R) - - Mumbai IIT 2011 - xi,63 p. 30 cm - .
Adsul, Bharat G.
Theses and Dissertations
Electronic data processing-Distributed processing , Automata
043:681.327.8:681.3.06Das