TY  - JOUR
AU  - Kevin Mills
AU  - H Gomaa
C2  - IEEE Transactions on Software Engineering
DA  - 2002-03-01
LA  - en
M1  - 28
PB  - IEEE Transactions on Software Engineering
PY  - 2002
TI  - Knowledge-Based Automation of a Design Method for Concurrent Systems
UR  - https://tsapps.nist.gov/publication/get_pdf.cfm?pub_id=151047
ER  -