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

  1. HJIEJ, O
  2. BENZEKRI, A
  3. VALDERRUTEN, A
Book Series:
DECENTRALIZED AND DISTRIBUTED SYSTEMS
  1. Cosnard, M (coord.)
  2. Puigjaner, R (coord.)

ISSN: 0926-5473

ISBN: 0-444-81791-3

Year of publication: 1993

Volume: 39

Pages: 401-412

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

Type: Conference paper

GOOGLE SCHOLAR
Data source: WoS