The following pages link to SENAC (Q13591):
Displaying 5 items.
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- The need for knowledge and reliability in numeric computation: Case study of multivariate Padé approximation (Q1327438) (← links)
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties (Q2481211) (← links)
- (Q4026777) (← links)
- Fast floating-point processing in Common Lisp (Q4371583) (← links)