%0 Conference Paper %1 journals/entcs/BrabermanOS05 %A Braberman, Víctor A. %A Olivero, Alfredo %A Schapachnik, Fernando %B PDMC %D 2004 %E Brim, Lubos %E Leucker, Martin %I Elsevier %K dblp %N 3 %P 3-18 %T On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus. %U http://dblp.uni-trier.de/db/conf/pdmc/pdmc2004.html#BrabermanOS05 %V 128

@inproceedings{journals/entcs/BrabermanOS05, added-at = {2022-12-12T00:00:00.000+0100}, author = {Braberman, Víctor A. and Olivero, Alfredo and Schapachnik, Fernando}, biburl = {https://www.bibsonomy.org/bibtex/22c6dfe4c5e490065719d4a7deb68a247/dblp}, booktitle = {PDMC}, crossref = {conf/pdmc/2004}, editor = {Brim, Lubos and Leucker, Martin}, ee = {https://doi.org/10.1016/j.entcs.2004.10.015}, interhash = {c141dad85e67fd76b072c0bb670e505a}, intrahash = {2c6dfe4c5e490065719d4a7deb68a247}, keywords = {dblp}, number = 3, pages = {3-18}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T09:34:51.000+0200}, title = {On-the-fly Workload Prediction and Redistribution in the Distributed Timed Model Checker Zeus.}, url = {http://dblp.uni-trier.de/db/conf/pdmc/pdmc2004.html#BrabermanOS05}, volume = 128, year = 2004 }