@inproceedings{conf/adhs/AbateBCHHLOSSVV18,
added-at = {2018-10-27T00:00:00.000+0200},
author = {Abate, Alessandro and Blom, Henk and Cauchi, Nathalie and Haesaert, Sofie and Hartmanns, Arnd and Lesser, Kendra and Oishi, Meeko and Sivaramakrishnan, Vignesh and Soudjani, Sadegh and Vasile, Cristian Ioan and Vinod, Abraham P.},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/234058e0ec3ae9ccd971e7d56e88ef977/dblp},
booktitle = {ARCH@ADHS},
crossref = {conf/adhs/2018arch},
editor = {Frehse, Goran and Althoff, Matthias and Bogomolov, Sergiy and Johnson, Taylor T.},
ee = {http://www.easychair.org/publications/paper/DzD8},
interhash = {e1cf9f8ec3ceb2ec6af2641c4f31e1e9},
intrahash = {34058e0ec3ae9ccd971e7d56e88ef977},
keywords = {dblp},
pages = {71-103},
publisher = {EasyChair},
series = {EPiC Series in Computing},
timestamp = {2019-09-27T15:03:55.000+0200},
title = {ARCH-COMP18 Category Report: Stochastic Modelling.},
url = {http://dblp.uni-trier.de/db/conf/adhs/arch2018.html#AbateBCHHLOSSVV18},
volume = 54,
year = 2018
}