FROM ANNOTATED LOTOS SPECIFICATIONS TO QUEUING-NETWORKS - AUTOMATING PERFORMANCE MODELS DERIVATION
- HJIEJ, O
- BENZEKRI, A
- VALDERRUTEN, A
- Cosnard, M (coord.)
- Puigjaner, R (coord.)
ISSN: 0926-5473
ISBN: 0-444-81791-3
Ano de publicación: 1993
Volume: 39
Páxinas: 401-412
Congreso: IFIP WG10.3 International Conference on Decentralized and Distributed Systems (ICDDS 93)
Tipo: Achega congreso