Computing branching distances with quantitative games (Q2210522): Difference between revisions

@@ Property / describes a project that uses @@
+Romeo
@@ Property / describes a project that uses: Romeo / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PEPA
@@ Property / describes a project that uses: PEPA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAPAAL
@@ Property / describes a project that uses: TAPAAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PRISM
@@ Property / describes a project that uses: PRISM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HySAT
@@ Property / describes a project that uses: HySAT / 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.1016/j.tcs.2020.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2982420068
@@ Property / OpenAlex ID: W2982420068 / rank @@
+Normal rank