Specification, testing and implementation relations for symbolic-probabilistic systems

  1. López, N.
  2. Núñez, M.
  3. Rodríguez, I.
Revista:
Theoretical Computer Science

ISSN: 0304-3975

Any de publicació: 2006

Volum: 353

Número: 1-3

Pàgines: 228-248

Tipus: Article

DOI: 10.1016/J.TCS.2005.10.047 GOOGLE SCHOLAR lock_openAccés obert editor
Font de les dades: Scopus