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]
@article{GalletMGB15,
title = {Étude de réseaux de Thomas par validation de propriétés LTL pour Pseudomonas aeruginosa},
author = {Emmanuelle Gallet and Matthieu Manceny and Pascale Le Gall and Paolo Ballarini},
year = {2015},
doi = {10.3166/tsi.34.575-600},
url = {http://dx.doi.org/10.3166/tsi.34.575-600},
researchr = {https://researchr.org/publication/GalletMGB15},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {34},
number = {5},
pages = {575-600},
}