DMCA

Modelling and Testing Object-Oriented Distributed Systems with Linear-time Temporal Logic (1998)

by F. Dietrich , X. Logean , J. -p. Hubaux
Citations:5 - 4 self