External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Stochastic Bounded Model Checking: Bounded Rewards and Compositionality

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.

Authors

Bettina Braitling

This author has not been identified. Look up 'Bettina Braitling' in Google

Ralf Wimmer

This author has not been identified. Look up 'Ralf Wimmer' in Google

Bernd Becker

This author has not been identified. Look up 'Bernd Becker' in Google

Erika Ábrahám

This author has not been identified. Look up 'Erika Ábrahám' in Google
runs on