|
|||||
|
|
ARC: A Specification Language for Communicating Systems |
|
| Authors: | Kelly D. P. |
| Affiliation: | Silicon & Software Systems, South County Business Park, Leopardstown, Dublin 18, Ireland Email: declan{at}s3dub.ie |
| Abstract: | |
| Keywords: | |
| 本文献已被 Oxford 等数据库收录！ | |