%0 Conference Paper %1 conf/icfem/BenesBPPS19 %A Benes, Nikola %A Brim, Lubos %A Pastva, Samuel %A Polácek, Jakub %A Safránek, David %B ICFEM %D 2019 %E Ameur, Yamine Aït %E Qin, Shengchao %I Springer %K dblp %P 353-369 %T Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2019.html#BenesBPPS19 %V 11852 %@ 978-3-030-32409-4

@inproceedings{conf/icfem/BenesBPPS19, added-at = {2022-10-02T00:00:00.000+0200}, author = {Benes, Nikola and Brim, Lubos and Pastva, Samuel and Polácek, Jakub and Safránek, David}, biburl = {https://www.bibsonomy.org/bibtex/277966f366102e19d6c15c9cbc476cbf7/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2019}, editor = {Ameur, Yamine Aït and Qin, Shengchao}, ee = {https://doi.org/10.1007/978-3-030-32409-4_22}, interhash = {7f25d15e5a62446360f9a2ad757b8236}, intrahash = {77966f366102e19d6c15c9cbc476cbf7}, isbn = {978-3-030-32409-4}, keywords = {dblp}, pages = {353-369}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:16:14.000+0200}, title = {Formal Analysis of Qualitative Long-Term Behaviour in Parametrised Boolean Networks.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2019.html#BenesBPPS19}, volume = 11852, year = 2019 }