Neco

swMATH9475MaRDI QIDQ21458FDOQ21458

Author name not available (Why is that?)

Official website: https://code.google.com/p/neco-net-compiler/

Cited In (3)

• LTL model checking with Neco
• neco-spot
• SNAKES

This page was built for software: Neco