SENAC
From MaRDI portal
Software:13591
No author found.
Related Items (5)
The need for knowledge and reliability in numeric computation: Case study of multivariate Padé approximation ⋮ Model checking of time Petri nets using the state class timed automaton ⋮ Fast floating-point processing in Common Lisp ⋮ Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties ⋮ Unnamed Item
This page was built for software: SENAC
