Emmanuelle Gallet, Matthieu Manceny, Pascale Le Gall, Paolo Ballarini. Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa. Technique et Science Informatiques, 34(5):575-600, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.