Statistical Model Checking Using Perfect Simulation (Q3648695): Difference between revisions

@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / 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-642-04761-9_11
+Normal rank
@@ Property / OpenAlex ID @@
+W1588278207
@@ Property / OpenAlex ID: W1588278207 / rank @@
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking Using Perfect Simulation
+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 @@
+Q4851772
@@ Property / cites work: Q4851772 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Exact sampling with coupled Markov chains and applications to statistical mechanics
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+On the exact simulation of functionals of stationary Markov chains
+Normal rank
@@ Property / cites work @@
+Q4806205
@@ Property / cites work: Q4806205 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Statistical probabilistic model checking with a focus on time-bounded properties
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3648695