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

@@ 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