Greening R. Thomas' framework with environment variables: a divide and conquer approach (Q2142101): Difference between revisions

@@ Property / author @@
-Jean-Paul Comet
@@ Property / author: Jean-Paul Comet / rank @@
-Normal rank
@@ Property / author @@
+Jean-Paul Comet
@@ Property / author: Jean-Paul Comet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SMBioNet
@@ Property / describes a project that uses: SMBioNet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NuSMV
@@ Property / describes a project that uses: NuSMV / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+TotemBioNet
@@ Property / describes a project that uses: TotemBioNet / 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-030-85633-5_3
+Normal rank
@@ Property / OpenAlex ID @@
+W3199304404
@@ Property / OpenAlex ID: W3199304404 / rank @@
+Normal rank
@@ Property / cites work @@
+A genetically modified Hoare logic
@@ Property / cites work: A genetically modified Hoare logic / rank @@
+Normal rank
@@ Property / cites work @@
+Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
+Normal rank
@@ Property / cites work @@
+What is a cell cycle checkpoint? The \texttt{TotemBioNet} answer
+Normal rank
@@ Property / cites work @@
+Q4413225
@@ Property / cites work: Q4413225 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4804909
@@ Property / cites work: Q4804909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953875
@@ Property / cites work: Q4953875 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2142101