David de Frutos-Escrig

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Manuel Núñez 0001

> Home > Persons > David de Frutos-Escrig

Publications

2004
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/forte/2004
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/2004
David 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. Lecture Notes in Computer Science 3235, Springer 2004, ISBN 3-540-23252-4 [contents]
1999
[c20]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Frutos-EscrigLN99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Frutos-EscrigLN99
David de Frutos-Escrig, Natalia López, Manuel Núñez:
Global Timed Bisimulation: An Introduction. FORTE 1999: 401-416
1998
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcst/Frutos-EscrigDN98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcst/Frutos-EscrigDN98
David 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)
1997
[c16]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/Frutos-EscrigDN97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/Frutos-EscrigDN97
David de Frutos-Escrig, Luis Fernando Llana Díaz, Manuel Núñez:
Friendly Testing as a Conformance Relation. FORTE 1997: 283-298
1995
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/NunezFL95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/NunezFL95
Manuel Núñez, David de Frutos-Escrig, Luis Fernando Llana Díaz:
Acceptance Trees for Probabilistic Processes. CONCUR 1995: 249-263
[c13]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/forte/NunezF95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/forte/NunezF95
Manuel Núñez, David de Frutos-Escrig:
Testing Semantics for Probabilistic LOTOS. FORTE 1995: 367-382
[c12]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/pstv/Frutos-EscrigNQ95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pstv/Frutos-EscrigNQ95
David de Frutos-Escrig, Manuel Núñez, Juan Quemada:
Characterizing termination in LOTOS via testing. PSTV 1995: 237-250

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.