On a Continuous Degree of Satisfaction of Temporal Logic Formulae with Applications to Systems Biology release_wznwfnygrvh2tfftnlrlhhjnly

by Aurélien Rizk, Grégory Batt, François Fages, Sylvain Soliman

Published in Lecture Notes in Computer Science by Springer Berlin Heidelberg.

2008   p251-268

Archived Files and Locations

application/pdf  644.6 kB
file_36aetxmvaref5bgonuwuqaekyu
contraintes.inria.fr (web)
web.archive.org (webarchive)
application/pdf  586.6 kB
file_q4b4p7zxyzd4fpggesvourtkpm
contraintes.inria.fr (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  chapter
Stage   published
Year   2008
Container Metadata
Not in DOAJ
Not in Keepers Registry
ISSN-L:  0302-9743
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 91671152-90de-41ea-9ddf-aa6f10550a6f
API URL: JSON