scientific article; zbMATH DE number 5957695
From MaRDI portal
Publication:3174291
zbMATH Open1240.68030MaRDI QIDQ3174291FDOQ3174291
Authors: Nicolae Marian 
Publication date: 12 October 2011
Title of this publication is not available (Why is that?)
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:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3174291)
