Verifying Duration Properties of Timed Transition Systems

Z. Liu, Anders Peter Ravn, X. Li

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

OriginalsprogEngelsk
TitelProgramming Concepts and Methods : PROCOMET '98 : IFIP TC2 WG2.2, 2.3 International Conference in Programming Concepts and Methods 8-12 June 1998, Shelter Island, New York, USA
RedaktørerGries, D. : Roever, W.-P. de (eds.)
ForlagKluwer Academic Publishers
Publikationsdato1998
Sider327-345
ISBN (Trykt)0412837609
StatusUdgivet - 1998
BegivenhedVerifying Duration Properties of Timed Transition Systems -
Varighed: 19 maj 2010 → …

Konference

KonferenceVerifying Duration Properties of Timed Transition Systems
Periode19/05/2010 → …

Citationsformater