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
Any de publicació: 2011
Volum: 6664 LNCS
Pàgines: 353-368
Tipus: Aportació congrés