Tableau methods for PA-processes (Q4610333): Difference between revisions

@@ Property / author @@
-Richard Mayr
@@ Property / author: Richard Mayr / rank @@
-Normal rank
@@ Property / author @@
+Richard Mayr
@@ Property / author: Richard Mayr / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4818827
@@ Property / cites work: Q4818827 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4353915
@@ Property / cites work: Q4353915 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790409
@@ Property / cites work: Q4790409 / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Model checking PA-processes
@@ Property / cites work: Model checking PA-processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bfb0027420
+Normal rank
@@ Property / OpenAlex ID @@
+W1506194499
@@ Property / OpenAlex ID: W1506194499 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4610333