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
Datum der Publikation: 2011
Ausgabe: 6664 LNCS
Seiten: 353-368
Art: Konferenz-Beitrag