scientific article; zbMATH DE number 1786480
From MaRDI portal
Publication:4547772
zbMath0990.68506MaRDI QIDQ4547772
Publication date: 21 August 2002
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2090/20900344
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14) Distributed algorithms (68W15)
Related Items (3)
Model-checking large structured Markov chains. ⋮ Sequential and distributed on-the-fly computation of weak tau-confluence ⋮ A Database Approach to Distributed State Space Generation
This page was built for publication: