Automatic symmetry detection for Promela (Q1040774): Difference between revisions

@@ Property / DOI @@
-.1007/s10817-008-9107-4
@@ Property / DOI: 10.1007/s10817-008-9107-4 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+GAP
@@ Property / describes a project that uses: GAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TopSpin
@@ Property / describes a project that uses: TopSpin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SymmSpin
@@ Property / describes a project that uses: SymmSpin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PROMELA
@@ Property / describes a project that uses: PROMELA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ETCH
@@ Property / describes a project that uses: ETCH / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SymmExtractor
@@ Property / describes a project that uses: SymmExtractor / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SableCC
@@ Property / describes a project that uses: SableCC / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPIN
@@ Property / describes a project that uses: SPIN / 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 @@
+nauty
@@ Property / describes a project that uses: nauty / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Featherweight Java
@@ Property / describes a project that uses: Featherweight Java / 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/s10817-008-9107-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2144174074
@@ Property / OpenAlex ID: W2144174074 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5452362
@@ Property / cites work: Q5452362 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4231664
@@ Property / cites work: Q4231664 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of finite-state concurrent systems using temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Q4531763
@@ Property / cites work: Q4531763 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4942017
@@ Property / cites work: Q4942017 / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141897
@@ Property / cites work: Q3141897 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3940830
@@ Property / cites work: Q3940830 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324962
@@ Property / cites work: Q4324962 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamental Approaches to Software Engineering
@@ Property / cites work: Fundamental Approaches to Software Engineering / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551137
@@ Property / cites work: Q4551137 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619881
@@ Property / cites work: Q3619881 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10817-008-9107-4
@@ Property / DOI: 10.1007/S10817-008-9107-4 / rank @@
+Normal rank