%0 Conference Paper %1 conf/latw/CoatiDBFMLG16 %A Coati, Daniele %A Distefano, Rosario %A Bombieri, Nicola %A Fummi, Franco %A Mirenda, Michela %A Laudanna, Carlo %A Giugno, Rosalba %B LATS %D 2016 %I IEEE %K dblp %P 159-164 %T A SystemC-based platform for assertion-based verification and mutation analysis in systems biology. %U http://dblp.uni-trier.de/db/conf/latw/lats2016.html#CoatiDBFMLG16 %@ 978-1-5090-1331-9

@inproceedings{conf/latw/CoatiDBFMLG16, added-at = {2016-06-03T00:00:00.000+0200}, author = {Coati, Daniele and Distefano, Rosario and Bombieri, Nicola and Fummi, Franco and Mirenda, Michela and Laudanna, Carlo and Giugno, Rosalba}, biburl = {https://www.bibsonomy.org/bibtex/251939e93a1a1c06eea518d282c37b4ed/dblp}, booktitle = {LATS}, crossref = {conf/latw/2016}, ee = {http://dx.doi.org/10.1109/LATW.2016.7483363}, interhash = {c582db3f01395cd2f39b586397e5c8a5}, intrahash = {51939e93a1a1c06eea518d282c37b4ed}, isbn = {978-1-5090-1331-9}, keywords = {dblp}, pages = {159-164}, publisher = {IEEE}, timestamp = {2016-06-04T11:48:48.000+0200}, title = {A SystemC-based platform for assertion-based verification and mutation analysis in systems biology.}, url = {http://dblp.uni-trier.de/db/conf/latw/lats2016.html#CoatiDBFMLG16}, year = 2016 }