| Título: | Testing Semantics for Urgent Timed Process Algebras |
| Autores: | Llana Díaz, Luis Fernando ; Frutos Escrig, David de ; Núñez García, Manuel |
| Tipo de documento: | texto impreso |
| Editorial: | World Scientific, 2007 |
| Palabras clave: | Estado = Publicado , Materia = Ciencias: Informática , Tipo = Sección de libro |
Ejemplares
| Estado |
|---|
| ningún ejemplar |
