Bettina Braitling, Ralf Wimmer, Bernd Becker, Erika Ábrahám. Stochastic Bounded Model Checking: Bounded Rewards and Compositionality. In Christian Haubelt, Dirk Timmermann, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. pages 243-254, Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock, 2013.
@inproceedings{BraitlingWBA13, title = {Stochastic Bounded Model Checking: Bounded Rewards and Compositionality}, author = {Bettina Braitling and Ralf Wimmer and Bernd Becker and Erika Ábrahám}, year = {2013}, researchr = {https://researchr.org/publication/BraitlingWBA13}, cites = {0}, citedby = {0}, pages = {243-254}, booktitle = {Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013}, editor = {Christian Haubelt and Dirk Timmermann}, publisher = {Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock}, isbn = {978-3-86009-147-0}, }