%0 Journal Article %1 journals/tcs/BallariniG10 %A Ballarini, Paolo %A Guerriero, Maria Luisa %D 2010 %J Theor. Comput. Sci. %K dblp %N 20 %P 2019-2036 %T Query-based verification of qualitative trends and oscillations in biochemical systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs411.html#BallariniG10 %V 411

@article{journals/tcs/BallariniG10, added-at = {2024-02-05T00:00:00.000+0100}, author = {Ballarini, Paolo and Guerriero, Maria Luisa}, biburl = {https://www.bibsonomy.org/bibtex/208b9fbefa0c5f87cb061a6d5cda9f1a6/dblp}, ee = {https://doi.org/10.1016/j.tcs.2010.02.010}, interhash = {ee25e7bc6684873d1fc0c110bb1cd84a}, intrahash = {08b9fbefa0c5f87cb061a6d5cda9f1a6}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 20, pages = {2019-2036}, timestamp = {2024-04-08T18:45:29.000+0200}, title = {Query-based verification of qualitative trends and oscillations in biochemical systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs411.html#BallariniG10}, volume = 411, year = 2010 }