neco-spot

swMATH9474MaRDI QIDQ21457FDOQ21457

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-02444-8_33

Cited In (3)

• LTL model checking with Neco
• Neco
• SNAKES

This page was built for software: neco-spot