Parametric Deadlock-Freeness Checking Timed Automata (Q3179417): Difference between revisions

@@ Property / describes a project that uses @@
+PPL
@@ Property / describes a project that uses: PPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+IMITATOR
@@ Property / describes a project that uses: IMITATOR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PAT
@@ Property / describes a project that uses: PAT / 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-46750-4_27
+Normal rank
@@ Property / OpenAlex ID @@
+W2522219859
@@ Property / OpenAlex ID: W2522219859 / 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 @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Language Emptiness of Continuous-Time Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Q5295510
@@ Property / cites work: Q5295510 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+Integer Parameter Synthesis for Timed Automata
@@ Property / cites work: Integer Parameter Synthesis for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3179417