NewPolka

MaRDI QIDQ26285swMATHFDO

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

Cited in

(6)

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

This page was built for software: NewPolka