Specifications in stochastic process algebra for a robot control problem (Q4230124): 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.1080/00207549608904950
+Normal rank
@@ Property / OpenAlex ID @@
+W2114912309
@@ Property / OpenAlex ID: W2114912309 / rank @@
+Normal rank
@@ Property / cites work @@
+A review of synthesis techniques for Petri nets with applications to automated manufacturing systems
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997074
@@ Property / cites work: Q3997074 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4230124