Guarded Transitions in Evolving Specifications (2002)

Cached

Download Links

by Dusko Pavlovic , Douglas R. Smith
Venue:Proceedings of AMAST 2002, volume 2422 of LNCS
Citations:11 - 7 self