scientific article; zbMATH DE number 1999223
From MaRDI portal
Publication:4433620
zbMath1030.68060MaRDI QIDQ4433620
Joan Sorribes, Eduardo César, Antonio Espinosa, Tomàs Margalef, Emilio Luque, Anna Morajko
Publication date: 8 December 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Specification and verification (program logics, model checking, etc.) (68Q60)
This page was built for publication:
