Greening R. Thomas' framework with environment variables: a divide and conquer approach (Q2142101): 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/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