Verifying Duration Properties of Timed Transition Systems

Z. Liu; Anders Peter Ravn; X. Li

Verifying Duration Properties of Timed Transition Systems

Z. Liu, Anders Peter Ravn, X. Li

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	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
Editors	Gries, D. : Roever, W.-P. de (eds.)
Publisher	Kluwer Academic Publishers
Publication date	1998
Pages	327-345
ISBN (Print)	0412837609
Publication status	Published - 1998
Event	Verifying Duration Properties of Timed Transition Systems - Duration: 19 May 2010 → …

Conference

Conference	Verifying Duration Properties of Timed Transition Systems
Period	19/05/2010 → …

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

@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",

}

Liu, Z, Ravn, AP & Li, X 1998, Verifying Duration Properties of Timed Transition Systems. in Gries, D. : Roever, W.-P. de (eds.) (ed.), 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. Kluwer Academic Publishers, pp. 327-345, Verifying Duration Properties of Timed Transition Systems, 19/05/2010.

Verifying Duration Properties of Timed Transition Systems. / Liu, Z.; Ravn, Anders Peter; Li, X.
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. ed. / Gries, D. : Roever, W.-P. de (eds.). Kluwer Academic Publishers, 1998. p. 327-345.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

TY - GEN

T1 - Verifying Duration Properties of Timed Transition Systems

AU - Liu, Z.

AU - Ravn, Anders Peter

AU - Li, X.

PY - 1998

Y1 - 1998

M3 - Article in proceeding

SN - 0412837609

SP - 327

EP - 345

BT - 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

A2 - Gries, D. : Roever, W.-P. de (eds.), null

PB - Kluwer Academic Publishers

T2 - Verifying Duration Properties of Timed Transition Systems

Y2 - 19 May 2010

ER -