NewPolka

swMATH14384MaRDI QIDQ26285FDOQ26285

Author name not available (Why is that?)

Official website: http://www.inrialpes.fr/pop-art/people/bjeannet/newpolka/

Cited In (4)

• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• A zonotopic framework for functional abstractions
• Information leakage analysis by abstract interpretation
• Lurette

This page was built for software: NewPolka