A Practical Approach to Verification of Mobile Systems Using Net Unfoldings (Q5900141): Difference between revisions

@@ Property / describes a project that uses @@
+MWB
@@ Property / describes a project that uses: MWB / 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/978-3-540-68746-7_22
+Normal rank
@@ Property / OpenAlex ID @@
+W2172719063
@@ Property / OpenAlex ID: W2172719063 / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking mobile processes
@@ Property / cites work: Model checking mobile processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4531752
@@ Property / cites work: Q4531752 / rank @@
+Normal rank
@@ Property / cites work @@
+An improvement of McMillan's unfolding algorithm
@@ Property / cites work: An improvement of McMillan's unfolding algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+Q4247290
@@ Property / cites work: Q4247290 / rank @@
+Normal rank
@@ Property / cites work @@
+Canonical prefixes of Petri net unfoldings
@@ Property / cites work: Canonical prefixes of Petri net unfoldings / rank @@
+Normal rank
@@ Property / cites work @@
+Q4824481
@@ Property / cites work: Q4824481 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
+Normal rank
@@ Property / cites work @@
+An algebraic verification of a mobile network
@@ Property / cites work: An algebraic verification of a mobile network / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Lectures on Petri nets. 1: Basic models. Advances in Petri nets
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5900141