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

K.G. Larsen, F. Larsson, P. Pettersson, Wentao Yi

Research output: Contribution to journal › Article › Academic

Keywords

@article{4ac56b76c3224f77b81f0bf68fe13ad5,

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

keywords = "METIS-204798",

author = "K.G. Larsen and F. Larsson and P. Pettersson and Wentao Yi",

note = "accepted for publication ",

year = "2001",

language = "Undefined",

volume = "0922-6443",

pages = "--",

journal = "Real-time systems",

issn = "0922-6443",

publisher = "Springer",

}