The following pages link to Luca Tesei (Q288784):
Displaying 16 items.
- Timed process calculi with deterministic or stochastic delays: commuting between durational and durationless actions (Q288785) (← links)
- Spatial P systems (Q537815) (← links)
- Detecting synchronisation of biological oscillators by model checking (Q969176) (← links)
- Timed automata with urgent transitions (Q1889766) (← links)
- Timed automata with non-instantaneous actions (Q2775857) (← links)
- (Q3005245) (← links)
- (Q3146271) (← links)
- (Q4461952) (← links)
- (Q4461956) (← links)
- (Q4621138) (← links)
- (Q4621139) (← links)
- (Q4818730) (← links)
- Timed P Automata (Q5179423) (← links)
- Model Checking Biological Oscillators (Q5404073) (← links)
- Bone Remodelling in BioShape (Q5404084) (← links)
- Towards Abstraction-Based Verification of Shape Calculus (Q5404093) (← links)