Formal Methods for Performance Evaluation - Bernardo, Marco; Hillston, Jane; Hutchison, David; Kanade, Takeo; Kittler, Josef (Springer Berlin Heidelberg, 2007)
Keywords: Information Technology -- Software Engineering