Specification Styles in Distributed Systems Design and Verification," in "Theoretical Computer Science '89", North-Holland (1991)

by Chris A. Vissers , Marten Van Sinderen
Venue:University of Pisa. From
Citations:56 - 6 self