Summary
This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.
Authors: Ballouli , Rim ,; Bensalem , Saddek; Bozga , Marius; Sifakis , Joseph
Journal title: https://hal.archives-ouvertes.fr/hal-01888550
Journal number: 1
Journal publisher: Formal Aspects of Component Software
Published year: 2018