scientific article; zbMATH DE number 6438961
From MaRDI portal
Publication:5250859
zbMath1324.68026MaRDI QIDQ5250859
János Sztrik, Tamás Bérczes, Wolfgang Schreiner
Publication date: 22 May 2015
Full work available at URL: http://ami.ektf.hu/uploads/papers/finalpdf/AMI_43_from123to144.pdf
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)
Uses Software
This page was built for publication:
