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

Institut for Datalogi

Publikation: Bog/antologi/afhandling/rapport › Bog › Forskning

Originalsprog	Engelsk

Status	Udgivet - 2001

Bibliografisk 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)

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

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