scolobb/dossier-complet
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Add our paper with Urvan.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-09-20 21:23:30 +02:00
parent 27b49225b1
commit bc72526139
1 changed files with 13 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
bib/sivanov-extra.bib
View file

@ -1,3 +1,16 @@
@article{C:AB20,
author = {Urvan Christen and
Sergiu Ivanov and
Rémi Segretain and
Laurent Trilling and
Nicolas Glade},
title = {On Computing Structural and Behavioral Complexities of Threshold Boolean Networks},
journal = {Acta Biotheoretica},
volume = {68},
pages = {119--138},
year = {2020}
}
@techreport{AGIMPP2014, @techreport{AGIMPP2014,
title = {Complexity of Model Checking for Reaction Systems}, title = {Complexity of Model Checking for Reaction Systems},
author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Manzoni, Luca and Petre, Ion and Porreca, Antonio E.}, author = {Azimi, Sepinoud and Gratie, Cristian and Ivanov, Sergiu and Manzoni, Luca and Petre, Ion and Porreca, Antonio E.},