Open AccessModel-checking ecological state-transition graphs
Author(s) -
Colin G. Thomas,
Maximilien Cosme,
Cédric Gaucherel,
Franck Pommereau
Publication year - 2022
Publication title -
plos computational biology/plos computational biology
Language(s) - Uncategorized
Resource type - Journals
SCImago Journal Rank - 2.628
H-Index - 182
eISSN - 1553-7358
pISSN - 1553-734X
DOI - 10.1371/journal.pcbi.1009657
Subject(s) - model checking , computer science , sketch , state (computer science) , temporal logic , theoretical computer science , computation , computation tree logic , graph , ecology , programming language , algorithm , biology