S Gilmore

Teaching Formal and Informal Aspects of Software Engineering in a Unified Framework

Anthony Finkelstein, S Gilmore, 1991 .

An Eecient Algorithm for Aggregating Pepa Models

S Gilmore, S. Gilmore, J. Hillston, 1997 .