%0 Conference Paper %1 conf/cmsb/SchwarickH09 %A Schwarick, Martin %A Heiner, Monika %B CMSB %D 2009 %E Degano, Pierpaolo %E Gorrieri, Roberto %I Springer %K dblp %P 296-312 %T CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. %U http://dblp.uni-trier.de/db/conf/cmsb/cmsb2009.html#SchwarickH09 %V 5688 %@ 978-3-642-03844-0

@inproceedings{conf/cmsb/SchwarickH09, added-at = {2019-06-02T00:00:00.000+0200}, author = {Schwarick, Martin and Heiner, Monika}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e50fb8407cb2cc418d761524de8b0732/dblp}, booktitle = {CMSB}, crossref = {conf/cmsb/2009}, editor = {Degano, Pierpaolo and Gorrieri, Roberto}, ee = {https://www.wikidata.org/entity/Q63241828}, interhash = {cde391c7139757524a258cdd4da6de37}, intrahash = {e50fb8407cb2cc418d761524de8b0732}, isbn = {978-3-642-03844-0}, keywords = {dblp}, pages = {296-312}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-27T17:26:28.000+0200}, title = {CSL Model Checking of Biochemical Networks with Interval Decision Diagrams.}, url = {http://dblp.uni-trier.de/db/conf/cmsb/cmsb2009.html#SchwarickH09}, volume = 5688, year = 2009 }