Gadara

From MaRDI portal

(Redirected from Software:21919)

Jump to:navigation, search

MaRDI QIDQ21919swMATHFDO

Official website http://gadara.eecs.umich.edu/software.html

Cited in

(1)

Eliminating concurrency bugs in multithreaded software: an approach based on control of Petri nets

This page was built for software: Gadara

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