×

Found 2 Software Packages (Results 1–2)

Renew

Software Authors:   Kummer, Olaf; Wienberg, Frank; Duvigneau, Michael; Schumacher, Jörn; Köhler, Michael; Moldt, Daniel; Rölke, Heiko; Valk, Rüdiger
Cited in: 15 Publications (2004–2021)
Related Software: libDDD; LOEWE; ITS-Tools; caesar.bdd; Meddly; PNMC; …
Main Fields: General and overarching topics; collections (00-XX); Computer science (68-XX); Operations research, mathematical programming (90-XX)

DSSZ-MC

Software Authors:   Heiner, Monika; Schwarick, Martin; Tovchigrechko, Alexej
Cited in: 5 Publications (2011–2012)
Related Software: SNOOPY; MoVisPP; COPASI; ZBDD; SMART_
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)