Q5114827 (Q5114827): Difference between revisions

@@ Property / author @@
-Davide Basile
@@ Property / author: Davide Basile / rank @@
-Normal rank
@@ Property / author @@
-Rosario Pugliese
@@ Property / author: Rosario Pugliese / rank @@
-Normal rank
@@ Property / author @@
+Davide Basile
@@ Property / author: Davide Basile / rank @@
+Normal rank
@@ Property / author @@
+Rosario Pugliese
@@ Property / author: Rosario Pugliese / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+mCRL2
@@ Property / describes a project that uses: mCRL2 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank