Acte de conférence, colloque et atelier

Reachability in Hierarchical Machines

Nguena Timo, O., Petrenko, A. and Ramesh, S. "Reachability in Hierarchical Machines" in Proceedings of the IEEE 15th International Conference on Information Reuse and Integration (IEEE IRI 2014), pp. 475-482. San Francisco, USA, du 13 au 15 août 2014