Using schedulers to test probabilistic distributed systems

  1. Hierons, R.M.
  2. Ńũnez, M.
Revista:
Formal Aspects of Computing

ISSN: 0934-5043,  1433-299X

Ano de publicación: 2012

Volume: 24

Número: 4-6

Páxinas: 679-699

Tipo: Artigo

DOI: 10.1007/S00165-012-0244-5 GOOGLE SCHOLAR
Fonte de datos: Scopus