The following pages link to David de Frutos (Q1261313):
Displayed 6 items.
- TIC: a tImed calculus (Q1261314) (← links)
- Item:Q1261313 (redirect page) (← links)
- A congruence relation for sPBC (Q2481583) (← links)
- (Q4028631) (← links)
- Timed processes of Timed Petri Nets (Q5096376) (← links)
- (Q5754515) (← links)