Model Checking LTL Formulae in RAISE with FDR (Q3605469): Difference between revisions

@@ Property / describes a project that uses @@
+LTL2BA
@@ Property / describes a project that uses: LTL2BA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FDR2
@@ Property / describes a project that uses: FDR2 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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-00255-7_16
+Normal rank
@@ Property / OpenAlex ID @@
+W1517366058
@@ Property / OpenAlex ID: W1517366058 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845499
@@ Property / cites work: Q4845499 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763965
@@ Property / cites work: Q2763965 / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4845494
@@ Property / cites work: Q4845494 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023850
@@ Property / cites work: Q4023850 / rank @@
+Normal rank