%0 Conference Paper %1 conf/icse/CeccarelliCRNS15 %A Ceccarelli, Michele %A Cerulo, Luigi %A Ruvo, Giuseppe De %A Nardone, Vittoria %A Santone, Antonella %B FormaliSE@ICSE %D 2015 %E Gnesi, Stefania %E Plat, Nico %I IEEE Computer Society %K dblp %P 26-32 %T Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking. %U http://dblp.uni-trier.de/db/conf/icse/formalise2015.html#CeccarelliCRNS15 %@ 978-1-4673-7043-1

@inproceedings{conf/icse/CeccarelliCRNS15, added-at = {2023-03-23T00:00:00.000+0100}, author = {Ceccarelli, Michele and Cerulo, Luigi and Ruvo, Giuseppe De and Nardone, Vittoria and Santone, Antonella}, biburl = {https://www.bibsonomy.org/bibtex/202851bee588838c9a5b43c9612d534ee/dblp}, booktitle = {FormaliSE@ICSE}, crossref = {conf/icse/2015formalise}, editor = {Gnesi, Stefania and Plat, Nico}, ee = {http://dl.acm.org/citation.cfm?id=2820134}, interhash = {e3167fbd601a2f182a835b069f142aed}, intrahash = {02851bee588838c9a5b43c9612d534ee}, isbn = {978-1-4673-7043-1}, keywords = {dblp}, pages = {26-32}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:16:00.000+0200}, title = {Infer Gene Regulatory Networks from Time Series Data with Probabilistic Model Checking.}, url = {http://dblp.uni-trier.de/db/conf/icse/formalise2015.html#CeccarelliCRNS15}, year = 2015 }