Performance Model Checking Scenario-Aware Dataflow. (2011)

by Bart Theelen , Joost-Pieter Katoen , Hao Wu
Venue:FORMATS, LNCS 6919,