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.
BibTex
x
@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}, }
RefWorks Procite/RefMan/Endnote
x
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 -
D. Hung, P. Thai, "On Checking Parallel Real-Time Systems for Linear Duration Invariants," pdse, pp.61, International Symposium on Software Engineering for Parallel and Distributed Systems, 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb