An equivalent CTL formulation for condition sequences (Q816698): 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.1007/s10626-005-4056-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2070249234
@@ Property / OpenAlex ID: W2070249234 / rank @@
+Normal rank
@@ Property / cites work @@
+Qualitative diagnosis of condition systems
@@ Property / cites work: Qualitative diagnosis of condition systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4782086
@@ Property / cites work: Q4782086 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953875
@@ Property / cites work: Q4953875 / rank @@
+Normal rank
@@ Property / cites work @@
+Supervisory Control of Discrete Event Systems with CTL* Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3246315
@@ Property / cites work: Q3246315 / rank @@
+Normal rank
@@ Property / cites work @@
+On condition/event systems with discrete state realizations
+Normal rank