TY - BOOK
T1 - Sixth international conference on application of concurrency to system design, ACSD 2006 : proceedings, 28-30 June 2006, Turku, Finland
A2 - Goossens, K.G.W.
A2 - Petrucci, L.
PY - 2006
Y1 - 2006
N2 - The following topics are dealt with: asynchronous systems; synchronous systems; scheduling; timed systems; stochastic models; model checking; systems-on-chips algebraic approach; concurrency systems; distributed systems
AB - The following topics are dealt with: asynchronous systems; synchronous systems; scheduling; timed systems; stochastic models; model checking; systems-on-chips algebraic approach; concurrency systems; distributed systems
UR - http://ieeexplore.ieee.org/servlet/opac?punumber=10919
U2 - 10.1109/ACSD.2006.26
DO - 10.1109/ACSD.2006.26
M3 - Book editing
SN - 0-7695-2556-3
BT - Sixth international conference on application of concurrency to system design, ACSD 2006 : proceedings, 28-30 June 2006, Turku, Finland
PB - IEEE Computer Society
CY - Brussels
ER -