Pages that link to "Item:Q959788"
From MaRDI portal
The following pages link to On temporal logic constraint solving for analyzing numerical data time series (Q959788):
Displayed 4 items.
- Design, optimization and predictions of a coupled model of the cell cycle, circadian clock, DNA repair system, irinotecan metabolism and exposure control under temporal logic constraints (Q533354) (← links)
- Continuous valuations of temporal logic specifications with applications to parameter optimization and robustness measures (Q548479) (← links)
- A logic of behaviour in context (Q2453209) (← links)
- Model Checking of Biological Systems (Q5300885) (← links)