Verification of parametric concurrent systems with prioritised FIFO resource management (Q2481584): Difference between revisions

@@ 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/s10703-008-0048-7
+Normal rank
@@ Property / OpenAlex ID @@
+W2038221635
@@ Property / OpenAlex ID: W2038221635 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817539
@@ Property / cites work: Q4817539 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4808829
@@ Property / cites work: Q4808829 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518895
@@ Property / cites work: Q4518895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2723423
@@ Property / cites work: Q2723423 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472243
@@ Property / cites work: Q4472243 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about systems with many processes
@@ Property / cites work: Reasoning about systems with many processes / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+A structural induction theorem for processes
@@ Property / cites work: A structural induction theorem for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769579
@@ Property / cites work: Q2769579 / rank @@
+Normal rank
@@ Property / cites work @@
+A Bound on Solutions of Linear Integer Equalities and Inequalities
+Normal rank