%0 Conference Paper %1 conf/mmb/PostemaRHG14 %A Postema, Björn F. %A Remke, Anne %A Haverkort, Boudewijn R. %A Ghasemieh, Hamed %B MMB/DFT %D 2014 %E Fischbach, Kai %E Krieger, Udo R. %I Springer %K dblp %P 255-259 %T Fluid Survival Tool: A Model Checker for Hybrid Petri Nets. %U http://dblp.uni-trier.de/db/conf/mmb/mmb2014.html#PostemaRHG14 %V 8376 %@ 978-3-319-05358-5

@inproceedings{conf/mmb/PostemaRHG14, added-at = {2019-10-19T00:00:00.000+0200}, author = {Postema, Björn F. and Remke, Anne and Haverkort, Boudewijn R. and Ghasemieh, Hamed}, biburl = {https://www.bibsonomy.org/bibtex/2b7ba69df3a3f4118fd66b50356e5327e/dblp}, booktitle = {MMB/DFT}, crossref = {conf/mmb/2014}, editor = {Fischbach, Kai and Krieger, Udo R.}, ee = {https://doi.org/10.1007/978-3-319-05359-2_18}, interhash = {b87e215e1943d9268c31653acbce2159}, intrahash = {b7ba69df3a3f4118fd66b50356e5327e}, isbn = {978-3-319-05358-5}, keywords = {dblp}, pages = {255-259}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T13:38:50.000+0200}, title = {Fluid Survival Tool: A Model Checker for Hybrid Petri Nets.}, url = {http://dblp.uni-trier.de/db/conf/mmb/mmb2014.html#PostemaRHG14}, volume = 8376, year = 2014 }