Günther, Henning: Vienna Verification Tool: IC3 for Parallel Software. . In: Tools and Algorithms for the Construction and Analysis of Systems, S.954957
Inhalt