| Original language | English |
|---|---|
| Place of Publication | Vienna, Austria |
| State | Published - 1997 |
Publication series
| Name | Vienna Technical University |
|---|
Task-specific verification of temporal skeletal plans
Yuval Shahar, S. Miksch , G. Duftschmid, P.D. Johnson
Research output: Book/Report › Report › peer-review