DMCA

Automated performance and dependability evaluation using model checking (2002)

by Christel Baier , Boudewijn Haverkort , Holger Hermanns , Joost-pieter Katoen
Venue:In Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Citations:21 - 2 self