"Efficient Symbolic Simulation via Dynamic Scheduling, Don't Caring, and ..."

Viresh Paruthi, Christian Jacobi, Kai Weber (2005)

Details and statistics

DOI: 10.1007/11560548_11

access: open

type: Conference or Workshop Paper

metadata version: 2020-09-03

a service of  Schloss Dagstuhl - Leibniz Center for Informatics