TY  - SER
AU  - Mills, K. L.
AU  - Gomaa, H.
TI  - Knowledge-Based Automation of A Disign Method  for  Concurrent Systems
KW  - Automated Software Engineering
KW  - Knowledge Based Software Engineering
ER  -