| Original language | English |
|---|---|
| Title of host publication | Model-Based Testing of Reactive Systems |
| Subtitle of host publication | Advanced Lectures |
| Editors | M. Broy, B. Jonsson, J.P. Katoen, M. Leucker, A. Pretschner |
| Place of Publication | BERLIN |
| Publisher | Springer Nature |
| Pages | 355-387 |
| Number of pages | 33 |
| ISBN (Electronic) | 978-3-540-32037-1 |
| ISBN (Print) | 3-540-26278-4, 978-3-540-26278-7 |
| DOIs | |
| Publication status | Published - 2005 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Volume | 3472 |