The following pages link to Claudine Picaronny (Q1092154):
Displayed 16 items.
- Quelques remarques sur un thème de Knörr. (Some remarks on a theme of Knörr) (Q1092155) (← links)
- Accepting zeno words: A way toward timed refinements (Q1581898) (← links)
- Polynomial interrupt timed automata (Q1675144) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- Item:Q1092154 (redirect page) (← links)
- Coupling and self-stabilization (Q1953653) (← links)
- Polynomial interrupt timed automata: verification and expressiveness (Q2662502) (← links)
- (Q2848422) (← links)
- Coupling and Importance Sampling for Statistical Model Checking (Q2894280) (← links)
- (Q3684284) (← links)
- (Q3798846) (← links)
- (Q4016237) (← links)
- (Q4436055) (← links)
- (Q4699292) (← links)
- Randomized Dining Philosophers without Fairness Assumption (Q5138505) (← links)
- Coupling and Self-stabilization (Q5464193) (← links)