DMCA

Timed Verification of the Generic Architecture of a Memory Circuit Using Parametric Timed Automata!!! (2006)

Cached

Download Links

by Laurent Fribourg , Weiwen Xu , Remy Chevallier , Emmanuelle Encrenaz-tiphene , Laurent Fribourg , Weiwen Xu