Testing Semantics for Urgent Timed Process Algebras
| dc.book.title | Real-time systems | |
| dc.contributor.author | Llana Díaz, Luis Fernando | |
| dc.contributor.author | Frutos Escrig, David De | |
| dc.contributor.author | Núñez García, Manuel | |
| dc.contributor.editor | Ionescu, Dan | |
| dc.contributor.editor | Cornell, Aurel | |
| dc.date.accessioned | 2023-06-20T13:39:10Z | |
| dc.date.available | 2023-06-20T13:39:10Z | |
| dc.date.issued | 2007 | |
| dc.description.department | Sección Deptal. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Ciencias Matemáticas | |
| dc.description.faculty | Instituto de Matemática Interdisciplinar (IMI) | |
| dc.description.refereed | TRUE | |
| dc.description.sponsorship | Comisión Interministerial de Ciencia y Tecnología (España) | |
| dc.description.status | pub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/20742 | |
| dc.identifier.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. | |
| dc.identifier.doi | 10.1142/9789812708472_0010 | |
| dc.identifier.isbn | 981-02-4424-x | |
| dc.identifier.officialurl | https//doi.org/10.1142/9789812708472_0010 | |
| dc.identifier.relatedurl | http://www.worldscientific.com/doi/pdf/10.1142/9789812708472_0010 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/53220 | |
| dc.issue.number | 8 | |
| dc.page.final | 235 | |
| dc.page.initial | 221 | |
| dc.publisher | World Scientific | |
| dc.relation.ispartofseries | AMAST series in computing | |
| dc.relation.projectID | TIC97-0669-C03-01 | |
| dc.rights.accessRights | metadata only access | |
| dc.subject.cdu | 004 | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.title | Testing Semantics for Urgent Timed Process Algebras | en |
| dc.type | book part | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | 680f556a-4f1b-4eda-9add-da2c9b24796a | |
| relation.isAuthorOfPublication | fc861853-ad02-4152-b8b0-e0a8df6080dc | |
| relation.isAuthorOfPublication | 26825d32-1d0a-4bbb-b145-e014e22f1a88 | |
| relation.isAuthorOfPublication.latestForDiscovery | 680f556a-4f1b-4eda-9add-da2c9b24796a |