Simplification of CTL formulae for efficient model checking of Petri nets (Q2280185): Difference between revisions

@@ Property / author @@
-Frederik M. Bønneland
@@ Property / author: Frederik M. Bønneland / rank @@
-Normal rank
@@ Property / author @@
-Peter Gjøl Jensen
@@ Property / author: Peter Gjøl Jensen / rank @@
-Normal rank
@@ Property / author @@
+Frederik M. Bønneland
@@ Property / author: Frederik M. Bønneland / rank @@
+Normal rank
@@ Property / author @@
+Peter Gjøl Jensen
@@ Property / author: Peter Gjøl Jensen / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TAPAAL
@@ Property / describes a project that uses: TAPAAL / 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-319-91268-4_8
+Normal rank
@@ Property / OpenAlex ID @@
+W2802268138
@@ Property / OpenAlex ID: W2802268138 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2280185