FROM ANNOTATED LOTOS SPECIFICATIONS TO QUEUING-NETWORKS - AUTOMATING PERFORMANCE MODELS DERIVATION

  1. HJIEJ, O
  2. BENZEKRI, A
  3. VALDERRUTEN, A
Colección de libros:
DECENTRALIZED AND DISTRIBUTED SYSTEMS
  1. Cosnard, M (coord.)
  2. Puigjaner, R (coord.)

ISSN: 0926-5473

ISBN: 0-444-81791-3

Año de publicación: 1993

Volumen: 39

Páginas: 401-412

Congreso: IFIP WG10.3 International Conference on Decentralized and Distributed Systems (ICDDS 93)

Tipo: Aportación congreso