| Publication info |
|---|
| | |
| Publication type | Publication in a journal |
| Publication kind | Article |
| Publication title | Architectural Specification Calculus |
| Web URL | |
| Journal title | LECTURE NOTES IN COMPUTER SCIENCE |
| Media type | printed publication |
| Volume | 2960 |
| Book | |
| Publication year | 2004 |
| From page | 329 |
| To page | 356 |
| Publication number | |
| Publication language | English |
| Ethnic language of studied culture | |
| Range | international |
| Report year | 2004 |