@inproceedings{11cfc8408ac211dbbb3d000ea68e967b,
title = "Verifying Duration Properties of Timed Transition Systems",
author = "Z. Liu and Ravn, {Anders Peter} and X. Li",
year = "1998",
language = "English",
isbn = "0412837609",
pages = "327--345",
editor = "{Gries, D. : Roever, W.-P. de (eds.)}",
booktitle = "Programming 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",
publisher = "Kluwer Academic Publishers",
note = "Verifying Duration Properties of Timed Transition Systems ; Conference date: 19-05-2010",
}