Searching for "Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

1 documents found, showing 1 through 1.

Temporal logic constraints in the biochemical abstract machine biocham (invited talk
by François Fages — 2005 — Proceedings of Logic Based Program Synthesis and Transformation, LOPSTR’05. Number 3901 in Lecture Notes in Computer Science
…Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM François Fages INRIA…
Cited by 4 (2 self) – Add To MetaCart

Showing 1 through 1.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB