Parameter Synthesis for Probabilistic Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Dehnert, Sebastian Junges, Nils Jansen 0001, Florian Corzilius, Matthias Volk 0001, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. In Ralf Wimmer, editor, 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016. [doi]

This author has not been identified. Look up 'Christian Dehnert' in GoogleThis author has not been identified. Look up 'Sebastian Junges' in GoogleThis author has not been identified. Look up 'Nils Jansen 0001' in GoogleThis author has not been identified. Look up 'Florian Corzilius' in GoogleThis author has not been identified. Look up 'Matthias Volk 0001' in GoogleThis author has not been identified. It may be one of the following persons:

Joost-Pieter Katoen

Look up 'Joost-Pieter Katoen' in GoogleThis author has not been identified. Look up 'Erika Ábrahám' in GoogleThis author has not been identified. Look up 'Harold Bruintjes' in Google

runs on WebDSL