PRISM-games: A Model Checker for Stochastic Multi-Player Games (Q5326324): Difference between revisions

@@ Property / describes a project that uses @@
+MCMAS
@@ Property / describes a project that uses: MCMAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MOCHA
@@ Property / describes a project that uses: MOCHA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+QUASY
@@ Property / describes a project that uses: QUASY / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GIST
@@ Property / describes a project that uses: GIST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UPPAAL TIGA
@@ Property / describes a project that uses: UPPAAL TIGA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GAVS
@@ Property / describes a project that uses: GAVS / 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-36742-7_13
+Normal rank
@@ Property / OpenAlex ID @@
+W2106272197
@@ Property / OpenAlex ID: W2106272197 / rank @@
+Normal rank