Aviso: para depositar documentos, por favor, inicia sesión e identifícate con tu cuenta de correo institucional de la UCM con el botón MI CUENTA UCM. No emplees la opción AUTENTICACIÓN CON CONTRASEÑA
 

Testing Semantics for Urgent Timed Process Algebras

Thumbnail Image

Official URL

https//doi.org/10.1142/9789812708472_0010

Full text at PDC

Publication date

2007

Authors

Advisors (or tutors)

Editors

Journal Title

Journal ISSN

Volume Title

Publisher

World Scientific
Citations
Google Scholar
Exportar
DC QDC MarcXML RDF MODS METS ORE-ATOM

URI

https://hdl.handle.net/20.500.14352/53220

Citation

Llana Díaz, L. F., Frutos Escrig, D. & Núñez García, M. «Testing Semantics for Urgent Timed Process Algebras». AMAST Series in Computing, de Dan Ionescu y Aurel Cornell, vol. 8, WORLD SCIENTIFIC, 2007, pp. 221-35. DOI.org (Crossref), https://doi.org/10.1142/9789812708472_0010.

Abstract

Research Projects

Organizational Units

Journal Issue

Description

UCM subjects

Informática (Informática)

Unesco subjects

1203.17 Informática

Keywords

Collections

Secciones de libros