dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Manuel Núñez (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid de Frutos-Escrig, Manuel Núñez: Formal Techniques for Networked and Distributed Systems - FORTE 2004, 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings Springer 2004
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid de Frutos-Escrig, Natalia López, Manuel Núñez: Global Timed Bisimulation: An Introduction. FORTE 1999: 401-416
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: An invitation to friendly testing. J. Comput. Sci. Technol. 13(6): 531-545 (1998)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez: Friendly Testing as a Conformance Relation. FORTE 1997: 283-298
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz: Acceptance Trees for Probabilistic Processes. CONCUR 1995: 249-263
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Núñez, David de Frutos-Escrig: Testing Semantics for Probabilistic LOTOS. FORTE 1995: 367-382
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid de Frutos-Escrig, Manuel Núñez, Juan Quemada: Characterizing termination in LOTOS via testing. PSTV 1995: 237-250

Selection of 7 from 128 records - Manuel Núñez has 51 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page