- importsource = "07342071-1995-04.TXT"
Se encontraron 2 resultados.
- Artículo:
Scalable Concurrent Counting
- Autor:
Maurice Herlihy
Beng-Hong Lim
Nir Shavit
- Página:
343
- Publicación:
ACM Transactions on computer systems
- Volúmen:
13
- Número:
4
- Periodo:
Noviembre 1995
- ISSN:
07342071
- SrcID:
07342071-1995-04.TXT
- Documento número 1466442
- Actualizado el jueves, 22 de abril de 2021 06:16:35 p. m.
- Creado el jueves, 22 de abril de 2021 06:16:35 p. m.
- Enlace directo
- Artículo:
Generating Test Cases for Real-Time Systems from Logic Specifications
- Autor:
Dino Mandrioli
Sandro Morasca
Angelo Morzenti
- Página:
365
- Publicación:
ACM Transactions on computer systems
- Volúmen:
13
- Número:
4
- Periodo:
Noviembre 1995
- ISSN:
07342071
- SrcID:
07342071-1995-04.TXT
- Documento número 1466443
- Actualizado el jueves, 22 de abril de 2021 06:16:35 p. m.
- Creado el jueves, 22 de abril de 2021 06:16:35 p. m.
- Enlace directo
- 1-2