D. Hung, P. Thai, "On Checking Parallel Real-Time Systems for Linear Duration Invariants," Software Engineering for Parallel and Distributed Systems, International Symposium on, pp. 61, International Symposium on Software Engineering for Parallel and Distributed Systems, 1998.

@article{ 10.1109/PDSE.1998.668157,
author = {D. Hung and P. Thai},
title = {On Checking Parallel Real-Time Systems for Linear Duration Invariants},
journal ={Software Engineering for Parallel and Distributed Systems, International Symposium on},
volume = {0},
year = {1998},
isbn = {0-8186-8467-4},
pages = {61},
doi = {http://doi.ieeecomputersociety.org/10.1109/PDSE.1998.668157},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}

TY - CONF
JO - Software Engineering for Parallel and Distributed Systems, International Symposium on
TI - On Checking Parallel Real-Time Systems for Linear Duration Invariants
SN - 0-8186-8467-4
SP
EP
A1 - D. Hung,
A1 - P. Thai,
PY - 1998
VL - 0
JA - Software Engineering for Parallel and Distributed Systems, International Symposium on
ER -