Task-specific verification of temporal skeletal plans

Yuval Shahar, S. Miksch , G. Duftschmid, P.D. Johnson

Research output: Book/ReportReportpeer-review

Original languageEnglish
Place of PublicationVienna, Austria
StatePublished - 1997

Publication series

NameVienna Technical University

Cite this