From annotated LOTOS specifications to queueing networks: Automating performance models derivation
- Hjiej, Omar
- Benzekri, Abdelmalek
- Valderruten, Alberto
ISSN: 0926-5473
ISBN: 0444817913
Year of publication: 1993
Pages: 401-412
Type: Book
ISSN: 0926-5473
ISBN: 0444817913
Year of publication: 1993
Pages: 401-412
Type: Book