Champak Das

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1997

1 EE Paul C. Attie, Champak Das: Automating the refinement of specifications for distributed systems via syntactic transformations. Int. J. Systems Science 28(11): 1129-1144 (1997)

1997
1	EE	Paul C. Attie, Champak Das: Automating the refinement of specifications for distributed systems via syntactic transformations. Int. J. Systems Science 28(11): 1129-1144 (1997)

Coauthor Index

1 Paul C. Attie [1]