Automatic verification of concurrent stochastic systems

Location
Deutsche Nationalbibliothek Frankfurt am Main
ISSN
1572-8102
Extent
Online-Ressource
Language
Englisch
Notes
online resource.

Bibliographic citation
Automatic verification of concurrent stochastic systems ; day:22 ; month:1 ; year:2021 ; pages:1-63
Formal methods in system design ; (22.1.2021), 1-63

Creator
Contributor
SpringerLink (Online service)

DOI
10.1007/s10703-020-00356-y
URN
urn:nbn:de:101:1-2021031419362649586361
Rights
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
15.08.2025, 7:37 AM CEST

Data provider

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

Associated

Other Objects (12)