Reachability in Timed Counter Systems (Q5179060): Difference between revisions

@@ Property / author @@
-Alain Finkel
@@ Property / author: Alain Finkel / rank @@
-Normal rank
@@ Property / author @@
+Alain Finkel
@@ Property / author: Alain Finkel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FAST
@@ Property / describes a project that uses: FAST / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TREX
@@ Property / describes a project that uses: TREX / 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.1016/j.entcs.2009.05.038
+Normal rank
@@ Property / OpenAlex ID @@
+W2085384188
@@ Property / OpenAlex ID: W2085384188 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754104
@@ Property / cites work: Q2754104 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551165
@@ Property / cites work: Q4551165 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Technology for Verification and Analysis
+Normal rank
@@ Property / cites work @@
+Untiming timed languages
@@ Property / cites work: Untiming timed languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4264103
@@ Property / cites work: Q4264103 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270062
@@ Property / cites work: Q4270062 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754074
@@ Property / cites work: Q2754074 / rank @@
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Q2848416
@@ Property / cites work: Q2848416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4415251
@@ Property / cites work: Q4415251 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Counter Machines Revisited
@@ Property / cites work: Reversal-Bounded Counter Machines Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Reversal-Bounded Multicounter Machines and Their Decision Problems
+Normal rank
@@ Property / cites work @@
+Parallel program schemata
@@ Property / cites work: Parallel program schemata / rank @@
+Normal rank
@@ Property / cites work @@
+An Algorithm for the General Petri Net Reachability Problem
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5179060