Hybrid automata, reachability, and systems biology (Q969180): Difference between revisions

@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+d/dt
@@ Property / describes a project that uses: d/dt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SAHA-Tool
@@ Property / describes a project that uses: SAHA-Tool / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+OCaml
@@ Property / describes a project that uses: OCaml / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Kronos
@@ Property / describes a project that uses: Kronos / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / 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.tcs.2009.12.015
+Normal rank
@@ Property / OpenAlex ID @@
+W2034963384
@@ Property / OpenAlex ID: W2034963384 / rank @@
+Normal rank