Action and State Based Computation Tree Measurement Language and Algorithms (Q6104809): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/978-3-319-99154-2_12 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2886322429 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A decomposition approach for stochastic reward net models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logic for reasoning about time and reliability / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The complexity of probabilistic verification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: State-space support for path-based reward variables / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4324960 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3876158 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The temporal semantics of concurrent programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5311048 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Probabilistic verification of Herman's self-stabilisation algorithm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3262596 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3135097 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2754196 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4471933 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:42, 1 August 2024
scientific article; zbMATH DE number 7703956
Language | Label | Description | Also known as |
---|---|---|---|
English | Action and State Based Computation Tree Measurement Language and Algorithms |
scientific article; zbMATH DE number 7703956 |
Statements
Action and State Based Computation Tree Measurement Language and Algorithms (English)
0 references
28 June 2023
0 references
Markov chain
0 references
performance measures
0 references
probabilistic model checking
0 references