From μCRL to mCRL2 (Q5262965): Difference between revisions

@@ Property / author @@
-Yaroslav S. Usenko
@@ Property / author: Yaroslav S. Usenko / rank @@
-Normal rank
@@ Property / author @@
+Yaroslav S. Usenko
@@ Property / author: Yaroslav S. Usenko / 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.entcs.2005.12.101
+Normal rank
@@ Property / OpenAlex ID @@
+W2168615519
@@ Property / OpenAlex ID: W2168615519 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551157
@@ Property / cites work: Q4551157 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994996
@@ Property / cites work: Q3994996 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic Methodology and Software Technology
@@ Property / cites work: Algebraic Methodology and Software Technology / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767014
@@ Property / cites work: Q2767014 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760254
@@ Property / cites work: Q2760254 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3485879
@@ Property / cites work: Q3485879 / rank @@
+Normal rank