Document
Generically Dependent Continuant
Article
Information Content Entity
RDF description of An abstraction technique for testing decomposable systems by model checking - http://irises.unibg.it/resource/item/37300
An abstraction technique for testing decomposable systems by model checking
Conference Paper