Monografie

Learning probabilistic automata with SMT solving

Language
Englisch
Identifier
1233428500

Contributor
Veltri, Dario
Moerman, Joshua
Katoen, Joost-Pieter
Noll, Thomas

DOI
10.18154/RWTH-2021-03668
URN
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
26.01.2023, 1:55 PM CET

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Object type

  • Monografie

Associated

Other Objects (12)