Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

Kim Guldstrand Larsen; F. Larsson; P. Pettersson; W. Yi

Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction

Kim Guldstrand Larsen, F. Larsson, P. Pettersson, W. Yi

Department of Computer Science

Research output: Book/Report › Book › Research

Original language	English

Publication status	Published - 2001

AUB Link

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

Cite this

@book{ab2c1a50003211dab4d5000ea68e967b,

title = "Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction",

author = "Larsen, {Kim Guldstrand} and F. Larsson and P. Pettersson and W. Yi",

note = "To be published in: The International Journal of Time-Critical Computing Systems (issn 0922-6443) To be published in: The International Journal of Time-Critical Computing Systems (issn 0922-6443)",

year = "2001",

language = "English",

}

TY - BOOK

T1 - Efficient Verification of Real-Time Systems

T2 - Compact Data Structure and State-Space Reduction

AU - Larsen, Kim Guldstrand

AU - Larsson, F.

AU - Pettersson, P.

AU - Yi, W.

N1 - To be published in: The International Journal of Time-Critical Computing Systems (issn 0922-6443) To be published in: The International Journal of Time-Critical Computing Systems (issn 0922-6443)

PY - 2001

Y1 - 2001

M3 - Book

BT - Efficient Verification of Real-Time Systems

ER -