%0 Conference Paper %1 conf/cdc/LavaeiZ19 %A Lavaei, Abolfazl %A Zamani, Majid %B CDC %D 2019 %I IEEE %K dblp %P 2574-2579 %T Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2019.html#LavaeiZ19 %@ 978-1-7281-1398-2

@inproceedings{conf/cdc/LavaeiZ19, added-at = {2022-12-20T00:00:00.000+0100}, author = {Lavaei, Abolfazl and Zamani, Majid}, biburl = {https://www.bibsonomy.org/bibtex/2fa68f94e917fb7ff028159bb7844e9f3/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2019}, ee = {https://doi.org/10.1109/CDC40024.2019.9029485}, interhash = {67ae31a2bd697db17c7e977bfe89c2aa}, intrahash = {fa68f94e917fb7ff028159bb7844e9f3}, isbn = {978-1-7281-1398-2}, keywords = {dblp}, pages = {2574-2579}, publisher = {IEEE}, timestamp = {2024-04-09T15:15:27.000+0200}, title = {Compositional Verification of Large-Scale Stochastic Systems via Relaxed Small-Gain Conditions.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2019.html#LavaeiZ19}, year = 2019 }