DMCA

Behavioural Models for Hierarchical Components (2005)

Cached

Download Links

by Tomás Barros , Ludovic Henrio , Eric Madelaine
Venue:In Proceedings of the International SPIN Workshop on Model Checking of Software. Spinger
Citations:24 - 7 self