State-Aware Performance Analysis with eXtended Stochastic Probes (Q3543312): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ipc
@@ Property / describes a project that uses: ipc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-87412-6_10
+Normal rank
@@ Property / OpenAlex ID @@
+W2154071973
@@ Property / OpenAlex ID: W2154071973 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking continuous-time Markov chains
@@ Property / cites work: Model-checking continuous-time Markov chains / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798038
@@ Property / cites work: Q4798038 / rank @@
+Normal rank
@@ Property / cites work @@
+The Randomization Technique as a Modeling Tool and Solution Procedure for Transient Markov Processes
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3543312