Publication:3653849
From MaRDI portal
zbMath1199.68107MaRDI QIDQ3653849
Publication date: 29 December 2009
68P15: Database theory
Related Items
Three improvements to the top-down solver, Goblint, Effect-polymorphic behaviour inference for deadlock checking, Static analysis of embedded real-time concurrent software with dynamic priorities, Region Analysis for Race Detection