%0 Conference Paper %1 conf/tacas/BlondinFHH16 %A Blondin, Michael %A Finkel, Alain %A Haase, Christoph %A Haddad, Serge %B TACAS %D 2016 %E Chechik, Marsha %E Raskin, Jean-François %I Springer %K %P 480-496 %T Approaching the Coverability Problem Continuously. %U http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BlondinFHH16 %V 9636 %@ 978-3-662-49673-2

@inproceedings{conf/tacas/BlondinFHH16, added-at = {2023-12-12T17:44:00.000+0100}, author = {Blondin, Michael and Finkel, Alain and Haase, Christoph and Haddad, Serge}, biburl = {https://www.bibsonomy.org/bibtex/2de71b04b2df61986b977ea68b21bce82/admin}, booktitle = {TACAS}, crossref = {conf/tacas/2016}, editor = {Chechik, Marsha and Raskin, Jean-François}, ee = {https://doi.org/10.1007/978-3-662-49674-9_28}, interhash = {07f0cf64c9f87360168c4e1a560b4b61}, intrahash = {de71b04b2df61986b977ea68b21bce82}, isbn = {978-3-662-49673-2}, keywords = {}, pages = {480-496}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T17:44:00.000+0100}, title = {Approaching the Coverability Problem Continuously.}, url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2016.html#BlondinFHH16}, volume = 9636, year = 2016 }