PESTS

swMATH35864MaRDI QIDQ51566FDOQ51566

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007%2F978-3-319-89960-2_19

Source code repository: https://github.com/gabriele-costa/pests

Described by source

• From natural projection to partial model checking and back

Cited In (5)

• Natural projection as partial model checking
• CMC
• TCT
• libFAUDES
• MuDiv

This page was built for software: PESTS