| Publication info |
|---|
| | |
| Publication type | Publication in a journal |
| Publication kind | Conference article |
| Publication title | Verifying Architectural Specifications |
| Web URL | |
| Journal title | LECTURE NOTES IN COMPUTER SCIENCE |
| Media type | |
| Volume | 2267 |
| Book | |
| Publication year | 2001 |
| From page | 152 |
| To page | 175 |
| Publication number | |
| Publication language | English |
| Ethnic language of studied culture | |
| Range | international |
| Report year | 2001 |