Cited in
(5)- The need for knowledge and reliability in numeric computation: Case study of multivariate Padé approximation
- scientific article; zbMATH DE number 125123 (Why is no real title available?)
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
- Model checking of time Petri nets using the state class timed automaton
- Fast floating-point processing in Common Lisp
This page was built for software: SENAC
