%0 Conference Paper %1 conf/emsoft/RuchkinNCG14 %A Ruchkin, Ivan %A de Niz, Dionisio %A Chaki, Sagar %A Garlan, David %B EMSOFT %D 2014 %E Mitra, Tulika %E Reineke, Jan %I ACM %K dblp %P 23:1-23:10 %T Contract-based integration of cyber-physical analyses. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2014.html#RuchkinNCG14

@inproceedings{conf/emsoft/RuchkinNCG14, added-at = {2022-10-02T00:00:00.000+0200}, author = {Ruchkin, Ivan and de Niz, Dionisio and Chaki, Sagar and Garlan, David}, biburl = {https://www.bibsonomy.org/bibtex/2b1d941d3322f132032922b2b7032ba51/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2014}, editor = {Mitra, Tulika and Reineke, Jan}, ee = {https://doi.org/10.1145/2656045.2656052}, interhash = {cd8b4e825ba2d0a76d6187f0cd8fd820}, intrahash = {b1d941d3322f132032922b2b7032ba51}, keywords = {dblp}, pages = {23:1-23:10}, publisher = {ACM}, timestamp = {2024-04-09T19:08:08.000+0200}, title = {Contract-based integration of cyber-physical analyses.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2014.html#RuchkinNCG14}, year = 2014 }