\texttt{VeriSIMPL 2}: an open-source software for the verification of max-plus-linear systems (Q262437): Difference between revisions

@@ Property / describes a project that uses @@
+FaPAS
@@ Property / describes a project that uses: FaPAS / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+VeriSIMPL
@@ Property / describes a project that uses: VeriSIMPL / 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 @@
+Maxplus
@@ Property / describes a project that uses: Maxplus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Algorithm 97
@@ Property / describes a project that uses: Algorithm 97 / 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/s10626-015-0218-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2295761269
@@ Property / OpenAlex ID: W2295761269 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q115147052
@@ Property / Wikidata QID: Q115147052 / rank @@
+Normal rank