DMCA

Model Checking Meets Performance Evaluation

Cached

Download Links

by Christel Baier , Boudewijn R. Haverkort , Holger Hermanns , Joost-pieter Katoen
Citations:7 - 1 self