Document
Generically Dependent Continuant
Compositional Simulation of Abstract State Machines for Safety Critical Systems
Article
Information Content Entity
RDF description of Compositional Simulation of Abstract State Machines for Safety Critical Systems - http://irises.unibg.it/resource/item/264071
Conference Paper