PNMC

From MaRDI portal

(Redirected from Software:40853)

Jump to:navigation, search

MaRDI QIDQ40853swMATHFDO

Official website https://www.springerprofessional.de/a-symbolic-model-checker-for-petri-nets-pnmc/10642134

Cited in

(8)

This page was built for software: PNMC

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=PNMC&oldid=56502366"