%0 Conference Paper %1 conf/icumt/RumyantsevM15 %A Rumyantsev, Alexander S. %A Morozov, Evsey %B ICUMT %D 2015 %I IEEE %K dblp %P 239-242 %T Accelerated verification of stability of simultaneous service multiserver systems. %U http://dblp.uni-trier.de/db/conf/icumt/icumt2015.html#RumyantsevM15 %@ 978-1-4673-9283-9

@inproceedings{conf/icumt/RumyantsevM15, added-at = {2017-07-21T00:00:00.000+0200}, author = {Rumyantsev, Alexander S. and Morozov, Evsey}, biburl = {https://www.bibsonomy.org/bibtex/2c5091c0a8ac6447cc7083623769443da/dblp}, booktitle = {ICUMT}, crossref = {conf/icumt/2015}, ee = {https://doi.org/10.1109/ICUMT.2015.7382435}, interhash = {e71cbe7a9a8ec60dfbd87601683f6328}, intrahash = {c5091c0a8ac6447cc7083623769443da}, isbn = {978-1-4673-9283-9}, keywords = {dblp}, pages = {239-242}, publisher = {IEEE}, timestamp = {2017-07-22T11:40:50.000+0200}, title = {Accelerated verification of stability of simultaneous service multiserver systems.}, url = {http://dblp.uni-trier.de/db/conf/icumt/icumt2015.html#RumyantsevM15}, year = 2015 }