| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 2nd International B Conference, |
| Publisher | Springer Verlag |
| Pages | 243-260 |
| Publication status | Published - 1998 |
| MoE publication type | A4 Article in a conference publication |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer Verlag |
| Volume | 1393 |