DMCA

Modeling Long--Running Transactions with (2006)

Cached

Download Links

by Communicating Hierarchical Timed , Ruggero Lanotte , Andrea Maggiolo-schettini , Paolo Milazzo , Angelo Troina
Venue:Proc. of Formal Methods for Open Object-Based Distributed Systems (FMOODS’06), LNCS 4037