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
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