Simulating concurrent behaviors with worst-case cost bounds
- Albert, E.
- Genaim, S.
- Gómez-Zamalloa, M.
- Johnsen, E.B.
- Schlatte, R.
- Tarifa, S.L.T.
ISSN: 0302-9743, 1611-3349
ISBN: 9783642214363
Año de publicación: 2011
Volumen: 6664 LNCS
Páginas: 353-368
Tipo: Aportación congreso