%0 Conference Paper %1 conf/arch/AbateBBCCDHHKLM21 %A Abate, Alessandro %A Blom, Henk A. P. %A Bouissou, Marc %A Cauchi, Nathalie %A Chraibi, Hassane %A Delicaris, Joanna %A Haesaert, Sofie %A Hartmanns, Arnd %A Khaled, Mahmoud %A Lavaei, Abolfazl %A Ma, Hao %A Mallik, Kaushik %A Niehage, Mathis %A Remke, Anne %A Schupp, Stefan %A Shmarov, Fedor %A Soudjani, Sadegh %A Thorpe, Adam J. %A Turcuman, Vlad %A Zuliani, Paolo %B ARCH@ADHS %D 2021 %E Frehse, Goran %E Althoff, Matthias %I EasyChair %K dblp %P 55-89 %T ARCH-COMP21 Category Report: Stochastic Models. %U http://dblp.uni-trier.de/db/conf/arch/arch2021.html#AbateBBCCDHHKLM21 %V 80

@inproceedings{conf/arch/AbateBBCCDHHKLM21, added-at = {2024-08-19T00:00:00.000+0200}, author = {Abate, Alessandro and Blom, Henk A. P. and Bouissou, Marc and Cauchi, Nathalie and Chraibi, Hassane and Delicaris, Joanna and Haesaert, Sofie and Hartmanns, Arnd and Khaled, Mahmoud and Lavaei, Abolfazl and Ma, Hao and Mallik, Kaushik and Niehage, Mathis and Remke, Anne and Schupp, Stefan and Shmarov, Fedor and Soudjani, Sadegh and Thorpe, Adam J. and Turcuman, Vlad and Zuliani, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/28e1631ea7de8905cc0281dca35d0b25e/dblp}, booktitle = {ARCH@ADHS}, crossref = {conf/arch/2021}, editor = {Frehse, Goran and Althoff, Matthias}, ee = {https://doi.org/10.29007/dprv}, interhash = {be6628d05584d88b33e076c0fa3046f6}, intrahash = {8e1631ea7de8905cc0281dca35d0b25e}, keywords = {dblp}, pages = {55-89}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-08-26T07:57:20.000+0200}, title = {ARCH-COMP21 Category Report: Stochastic Models.}, url = {http://dblp.uni-trier.de/db/conf/arch/arch2021.html#AbateBBCCDHHKLM21}, volume = 80, year = 2021 }