Distributed computation of vector clocks in Petri net unfoldings for test selection (Q2197589): Difference between revisions

@@ Property / DOI @@
-.1007/s10626-020-00310-4
@@ Property / DOI: 10.1007/s10626-020-00310-4 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10626-020-00310-4
+Normal rank
@@ Property / OpenAlex ID @@
+W3011395036
@@ Property / OpenAlex ID: W3011395036 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+Unfoldings: A partial-order approach to model checking.
+Normal rank
@@ Property / cites work @@
+Q2963916
@@ Property / cites work: Q2963916 / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Modular Construction of Finite and Complete Prefixes of Petri net Unfoldings
+Normal rank
@@ Property / cites work @@
+Distributed Testing of Concurrent Systems: Vector Clocks to the Rescue
+Normal rank
@@ Property / cites work @@
+Q3683531
@@ Property / cites work: Q3683531 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10626-020-00310-4
@@ Property / DOI: 10.1007/S10626-020-00310-4 / rank @@
+Normal rank