Sciweavers

CACM
2010

Performance evaluation and model checking join forces

13 years 11 months ago
Performance evaluation and model checking join forces
Christel Baier, Boudewijn R. Haverkort, Holger Her
Added 01 Feb 2011
Updated 01 Feb 2011
Type Journal
Year 2010
Where CACM
Authors Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen
Comments (0)