NewPolka

swMATH14384MaRDI QIDQ26285FDOQ26285

Author name not available (Why is that?)

Cited In (3)

• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• A zonotopic framework for functional abstractions
• Information Leakage Analysis by Abstract Interpretation

This page was built for software: NewPolka