%0 Conference Paper %1 conf/qest/CurtiPB05 %A Curti, Michele %A Prandi, Davide %A Brodo, Linda %B QEST %D 2005 %I IEEE Computer Society %K dblp %P 2-12 %T Formal Executable Descriptions of Biological Systems. %U http://dblp.uni-trier.de/db/conf/qest/qest2005.html#CurtiPB05 %@ 0-7695-2427-3

@inproceedings{conf/qest/CurtiPB05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Curti, Michele and Prandi, Davide and Brodo, Linda}, biburl = {https://www.bibsonomy.org/bibtex/29b823857a25ace75a56f2d35d1b70a94/dblp}, booktitle = {QEST}, crossref = {conf/qest/2005}, ee = {https://doi.ieeecomputersociety.org/10.1109/QEST.2005.13}, interhash = {2734ad57f7a1ef6d5e4b9b1c41c5bc67}, intrahash = {9b823857a25ace75a56f2d35d1b70a94}, isbn = {0-7695-2427-3}, keywords = {dblp}, pages = {2-12}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T14:49:02.000+0200}, title = {Formal Executable Descriptions of Biological Systems.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2005.html#CurtiPB05}, year = 2005 }